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