Searched defs:getEditResult (Results 1 – 5 of 5) sorted by relevance
/dports/www/mediawiki137/mediawiki-1.37.1/tests/phpunit/unit/includes/Storage/ | ||
H A D | EditResultCacheTest.php | 26 private function getEditResult(): EditResult { function in MediaWiki\\Tests\\Storage\\EditResultCacheTest |
/dports/www/mediawiki136/mediawiki-1.36.3/tests/phpunit/unit/includes/Storage/ | ||
H A D | EditResultCacheTest.php | 26 private function getEditResult() : EditResult { function in MediaWiki\\Tests\\Storage\\EditResultCacheTest |
/dports/www/mediawiki135/mediawiki-1.35.5/includes/Storage/ | ||
H A D | PageUpdater.php | 479 public function getEditResult() : ?EditResult { function in MediaWiki\\Storage\\PageUpdater |
/dports/www/mediawiki137/mediawiki-1.37.1/includes/Storage/ | ||
H A D | PageUpdater.php | 548 public function getEditResult(): ?EditResult { function in MediaWiki\\Storage\\PageUpdater |
/dports/www/mediawiki136/mediawiki-1.36.3/includes/Storage/ | ||
H A D | PageUpdater.php | 527 public function getEditResult() : ?EditResult { function in MediaWiki\\Storage\\PageUpdater |