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