Searched refs:page_title (Results 1 – 1 of 1) sorted by relevance
1013 $page_title = $lang['btn_admin'];1018 $page_title = $plugin_title ?: $plugin->getPluginName();1029 $page_title = $lang['btn_' . $ACT];1035 $page_title = "✎ " . $name;1040 $page_title = $name . ' - ' . $lang['btn_revs'];1047 $page_title = $name . ' - ' . $lang['btn_' . $ACT];1051 $page_title = $name;1055 return hsc($page_title);1057 echo hsc($page_title);