Widget:EMMNavigatorTree: verschil tussen versies

Versie van 24 jun 2024 14:00

Dit is de Widget:EMMNavigatorTree Widget.

@@ Regel 10: / Regel 10: @@
 "<!--{$currentPageName|default:'Pagename niet doorgekregen'}-->",c);
 }
-RLQ.push(function () {
+checkIfReadyAndExecute()
-mw.loader.using(['ext.EMMNavigationTree',"mediawiki.api"], function() {console.log("module loaded");checkIfReadyAndExecute();});
-});
 </script>
 </includeonly>