https://informatiestandaarden.test-nictiz.nl/index.php?action=history&feed=atom&title=MediaWiki%3AGadget-CodeEditor.js 2026-04-23T21:50:11Z Bewerkingsoverzicht voor deze pagina op de wiki MediaWiki 1.43.0 https://informatiestandaarden.test-nictiz.nl/index.php?title=MediaWiki:Gadget-CodeEditor.js&diff=3169&oldid=prev 2013-07-19T15:42:50Z

<p>Nieuwe pagina aangemaakt met &#039;/** * MediaWiki:Gadget-codeeditor.js * Stub to load <a href="/index.php?title=Extension:CodeEditor&amp;action=edit&amp;redlink=1" class="new" title="Extension:CodeEditor (de pagina bestaat niet)">Extension:CodeEditor</a> and Ace syntax-highlighting editor as a gadget. * * Requires enhanced editing toolb...&#039;</p> <p><b>Nieuwe pagina</b></p><div>/**<br /> * MediaWiki:Gadget-codeeditor.js<br /> * Stub to load [[Extension:CodeEditor]] and Ace syntax-highlighting editor as a gadget.<br /> *<br /> * Requires enhanced editing toolbar (WikiEditor extension); integrates with toolbar.<br /> *<br /> * Gadget stub CC-BY-SA 2<br /> * (c) 2011 Brion Vibber &lt;brion @ pobox.com&gt;<br /> *<br /> * Extension:CodeEditor JS bits are GPLv2 -- https://www.mediawiki.org/wiki/Extension:CodeEditor<br /> *<br /> * Syntax highlighting, auto-indenting code editor widget for on-wiki JS and CSS pages.<br /> * Uses embedded Ajax.org Cloud9 Editor: http://ace.ajax.org/<br /> * MPL/LGPL/GPL<br /> */<br /> <br /> mw.log( &#039;[[mw:MediaWiki:Gadget-CodeEditor.js]] has been disabled&#039; );<br /> /*<br /> jQuery(document).ready(function ($) {<br /> // @fixme need an SSL alternative<br /> mw.config.set(&#039;wgCodeEditorAssetsPath&#039;, &#039;//toolserver.org/~brion/extensions&#039;);<br /> var modules, i, ping,<br /> config = mw.config.get([&#039;wgCodeEditorAssetsPath&#039;, &#039;wgNamespaceNumber&#039;, &#039;wgTitle&#039;]),<br /> moduleBase = config.wgCodeEditorAssetsPath + &#039;/CodeEditor/modules&#039;,<br /> $box = $(&#039;#wpTextbox1&#039;),<br /> matches = /\.(js|css)$/.exec(config.wgTitle);<br /> if ($box.length &amp;&amp; matches &amp;&amp; (config.wgNamespaceNumber === 2 || config.wgNamespaceNumber === 8)) {<br /> modules = [<br /> moduleBase + &#039;/ace/ace.js&#039;,<br /> moduleBase + &#039;/ace/mode-javascript.js&#039;,<br /> moduleBase + &#039;/ace/mode-css.js&#039;,<br /> moduleBase + &#039;/jquery.codeEditor.js&#039;,<br /> moduleBase + &#039;/ext.codeEditor.js&#039;<br /> ];<br /> i = 0;<br /> // @fixme loading serially is kinda lame, but it works for now<br /> ping = function () {<br /> if ( i &lt; modules.length ) {<br /> var url = modules[i];<br /> $.getScript(url, function () {<br /> i++;<br /> ping();<br /> });<br /> }<br /> };<br /> ping();<br /> }<br /> });<br /> */</div>

Ahenket