wikimedia /
mediawiki
| @@ 298-308 (lines=11) @@ | ||
| 295 | * |
|
| 296 | * @return string[] The original sequence of strings. |
|
| 297 | */ |
|
| 298 | public function orig() { |
|
| 299 | $lines = []; |
|
| 300 | ||
| 301 | foreach ( $this->edits as $edit ) { |
|
| 302 | if ( $edit->orig ) { |
|
| 303 | array_splice( $lines, count( $lines ), 0, $edit->orig ); |
|
| 304 | } |
|
| 305 | } |
|
| 306 | ||
| 307 | return $lines; |
|
| 308 | } |
|
| 309 | ||
| 310 | /** |
|
| 311 | * Get the closing set of lines. |
|
| @@ 318-328 (lines=11) @@ | ||
| 315 | * |
|
| 316 | * @return string[] The sequence of strings. |
|
| 317 | */ |
|
| 318 | public function closing() { |
|
| 319 | $lines = []; |
|
| 320 | ||
| 321 | foreach ( $this->edits as $edit ) { |
|
| 322 | if ( $edit->closing ) { |
|
| 323 | array_splice( $lines, count( $lines ), 0, $edit->closing ); |
|
| 324 | } |
|
| 325 | } |
|
| 326 | ||
| 327 | return $lines; |
|
| 328 | } |
|
| 329 | } |
|
| 330 | ||
| 331 | /** |
|
