Searched refs:plugin_title (Results 1 – 1 of 1) sorted by path
997 $plugin_title = $plugin->getMenuText($conf['lang']);998 $page_title = $plugin_title ?: $plugin->getPluginName();