Searched refs:GuiAdmin (Results 1 – 2 of 2) sorted by relevance
7 use dokuwiki\plugin\extension\GuiAdmin; alias98 $gui = new GuiAdmin();
7 class GuiAdmin extends Gui class