Searched defs:getTitleUri (Results 1 – 3 of 3) sorted by relevance
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/wikimedia/parsoid/src/Ext/ | ||
H A D | ParsoidExtensionAPI.php | 175 public function getTitleUri( Title $title ): string { function in Wikimedia\\Parsoid\\Ext\\ParsoidExtensionAPI |
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/wikimedia/parsoid/src/Ext/ | ||
H A D | ParsoidExtensionAPI.php | 122 public function getTitleUri( Title $title ): string { function in Wikimedia\\Parsoid\\Ext\\ParsoidExtensionAPI |
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/wikimedia/parsoid/src/Ext/ | ||
H A D | ParsoidExtensionAPI.php | 175 public function getTitleUri( Title $title ): string { function in Wikimedia\\Parsoid\\Ext\\ParsoidExtensionAPI |