Home
last modified time | relevance | path

Searched defs:localWikiID (Results 1 – 2 of 2) sorted by relevance

/dports/www/mediawiki137/mediawiki-1.37.1/includes/page/
H A DPageCommandFactory.php132 private $localWikiID; variable in MediaWiki\\Page\\PageCommandFactory
162 string $localWikiID,
H A DDeletePage.php73 private $localWikiID; variable in MediaWiki\\Page\\DeletePage
134 string $localWikiID,