Home
last modified time | relevance | path

Searched defs:castFromPageIdentity (Results 1 – 4 of 4) sorted by relevance

/dports/www/mediawiki136/mediawiki-1.36.3/includes/
H A DTitleFactory.php70 public function castFromPageIdentity( ?PageIdentity $pageIdentity ) : ?Title { function in TitleFactory
H A DTitle.php330 public static function castFromPageIdentity( ?PageIdentity $pageIdentity ) : ?Title { function in Title
/dports/www/mediawiki137/mediawiki-1.37.1/includes/
H A DTitleFactory.php71 public function castFromPageIdentity( ?PageIdentity $pageIdentity ): ?Title { function in TitleFactory
H A DTitle.php332 public static function castFromPageIdentity( ?PageIdentity $pageIdentity ): ?Title { function in Title