Rev 20 | Rev 28 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 20 | Rev 21 | ||
|---|---|---|---|
| Line 181... | Line 181... | ||
| 181 | }
|
181 | }
|
| 182 | }
|
182 | }
|
| 183 | 183 | ||
| 184 | /**
|
184 | /**
|
| 185 | * A language feature.
|
185 | * A language feature.
|
| - | 186 | *
|
|
| - | 187 | * @property-read Array[String] $anchors
|
|
| - | 188 | * Fragment identifiers to be defined for quickly accessing
|
|
| - | 189 | * the feature description.
|
|
| - | 190 | * @property-read string $title
|
|
| - | 191 | * Value of the explanatory <code>title</code> attribute for the feature.
|
|
| - | 192 | * @property-read string $content
|
|
| - | 193 | * Name or example code of the feature
|
|
| - | 194 | * @property-read string $descr
|
|
| - | 195 | * Description of the feature. Displayed directly if code is missing,
|
|
| - | 196 | * otherwise used as `title' attribute value.
|
|
| - | 197 | * @property-read Array $versions
|
|
| - | 198 | * Versions that support this feature
|
|
| - | 199 | * @property-read List $list
|
|
| - | 200 | * Reference to the FeatureList that this feature belongs to
|
|
| 186 | */
|
201 | */
|
| 187 | class Feature
|
202 | class Feature
|
| 188 | {
|
203 | {
|
| 189 | /**
|
204 | /**
|
| 190 | * Fragment identifiers to be defined for quickly accessing
|
205 | * Fragment identifiers to be defined for quickly accessing
|
| Line 252... | Line 267... | ||
| 252 | {
|
267 | {
|
| 253 | $this->$key = $params[$key]; |
268 | $this->$key = $params[$key]; |
| 254 | }
|
269 | }
|
| 255 | }
|
270 | }
|
| 256 | }
|
271 | }
|
| - | 272 | ||
| - | 273 | /*
|
|
| - | 274 | * Protected properties may be read, but not written
|
|
| - | 275 | */
|
|
| - | 276 | public function __get($property) |
|
| - | 277 | {
|
|
| - | 278 | if (property_exists(get_class($this), $property)) |
|
| - | 279 | {
|
|
| - | 280 | return $this->$property; |
|
| - | 281 | }
|
|
| - | 282 | }
|
|
| 257 | 283 | ||
| 258 | /**
|
284 | /**
|
| 259 | * Determines whether one version is greater than another.
|
285 | * Determines whether one version is greater than another.
|
| 260 | *
|
286 | *
|
| 261 | * @param string $v1 Version string #1
|
287 | * @param string $v1 Version string #1
|