wikimedia /
mediawiki
| @@ 1422-1427 (lines=6) @@ | ||
| 1419 | ||
| 1420 | public function insertMarker() { |
|
| 1421 | $elt = new BalanceMarker; |
|
| 1422 | if ( $this->tail ) { |
|
| 1423 | $this->tail->nextAFE = $elt; |
|
| 1424 | $elt->prevAFE = $this->tail; |
|
| 1425 | } else { |
|
| 1426 | $this->head = $elt; |
|
| 1427 | } |
|
| 1428 | $this->tail = $elt; |
|
| 1429 | $this->noahTableStack[] = []; |
|
| 1430 | } |
|
| @@ 1464-1469 (lines=6) @@ | ||
| 1461 | $tail->nextNoah = $elt; |
|
| 1462 | } |
|
| 1463 | // Add to the main AFE list |
|
| 1464 | if ( $this->tail ) { |
|
| 1465 | $this->tail->nextAFE = $elt; |
|
| 1466 | $elt->prevAFE = $this->tail; |
|
| 1467 | } else { |
|
| 1468 | $this->head = $elt; |
|
| 1469 | } |
|
| 1470 | $this->tail = $elt; |
|
| 1471 | } |
|
| 1472 | ||
