wikimedia /
mediawiki
| @@ 1353-1358 (lines=6) @@ | ||
| 1350 | ||
| 1351 | public function insertMarker() { |
|
| 1352 | $elt = new BalanceMarker; |
|
| 1353 | if ( $this->tail ) { |
|
| 1354 | $this->tail->nextAFE = $elt; |
|
| 1355 | $elt->prevAFE = $this->tail; |
|
| 1356 | } else { |
|
| 1357 | $this->head = $elt; |
|
| 1358 | } |
|
| 1359 | $this->tail = $elt; |
|
| 1360 | $this->noahTableStack[] = []; |
|
| 1361 | } |
|
| @@ 1395-1400 (lines=6) @@ | ||
| 1392 | $tail->nextNoah = $elt; |
|
| 1393 | } |
|
| 1394 | // Add to the main AFE list |
|
| 1395 | if ( $this->tail ) { |
|
| 1396 | $this->tail->nextAFE = $elt; |
|
| 1397 | $elt->prevAFE = $this->tail; |
|
| 1398 | } else { |
|
| 1399 | $this->head = $elt; |
|
| 1400 | } |
|
| 1401 | $this->tail = $elt; |
|
| 1402 | } |
|
| 1403 | ||
