Searched refs:GuiExtension (Results 1 – 3 of 3) sorted by relevance
7 use dokuwiki\plugin\extension\GuiExtension; alias74 echo (new GuiExtension($extension))->render();
79 $gui = new GuiExtension($ext);112 $gui = new GuiExtension($ext);208 $gui = new GuiExtension($ext);
5 class GuiExtension extends Gui class