Home
last modified time | relevance | path

Searched refs:deletedIdMarker (Results 1 – 3 of 3) sorted by relevance

/dports/www/mediawiki135/mediawiki-1.35.5/includes/diff/
H A DDifferenceEngine.php476 public function deletedIdMarker( $id ) { function in DifferenceEngine
492 $missing[] = $this->deletedIdMarker( $this->mOldid );
497 $missing[] = $this->deletedIdMarker( $this->mNewid );
/dports/www/mediawiki136/mediawiki-1.36.3/includes/diff/
H A DDifferenceEngine.php485 public function deletedIdMarker( $id ) { function in DifferenceEngine
501 $missing[] = $this->deletedIdMarker( $this->mOldid );
506 $missing[] = $this->deletedIdMarker( $this->mNewid );
/dports/www/mediawiki137/mediawiki-1.37.1/includes/diff/
H A DDifferenceEngine.php480 public function deletedIdMarker( $id ) {
496 $missing[] = $this->deletedIdMarker( $this->mOldid );
501 $missing[] = $this->deletedIdMarker( $this->mNewid );