Home
last modified time | relevance | path

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

/dports/www/mediawiki137/mediawiki-1.37.1/vendor/oojs/oojs-ui/php/layouts/
H A DIndexLayout.php124 $name = $this->getCurrentTabPanelName();
128 public function getCurrentTabPanelName() { function in OOUI\\IndexLayout
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/oojs/oojs-ui/php/layouts/
H A DIndexLayout.php124 $name = $this->getCurrentTabPanelName();
128 public function getCurrentTabPanelName() { function in OOUI\\IndexLayout
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/oojs/oojs-ui/php/layouts/
H A DIndexLayout.php124 $name = $this->getCurrentTabPanelName();
128 public function getCurrentTabPanelName() { function in OOUI\\IndexLayout