Searched refs:plugin_title (Results 1 – 1 of 1) sorted by last modified time
1017 $plugin_title = $plugin->getMenuText($conf['lang']);1018 $page_title = $plugin_title ?: $plugin->getPluginName();