MediaWiki:Gadget-CodeEditor.js

提供: ひつじ小屋別館2代目
2013年7月21日 (日) 05:24時点におけるしが (トーク | 投稿記録)による版 (1版)

(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先: 案内検索

注意: 保存後、変更を確認するにはブラウザーのキャッシュを消去する必要がある場合があります。

  • Firefox / Safari: Shift を押しながら 再読み込み をクリックするか、Ctrl-F5 または Ctrl-R を押してください (Mac では ⌘-R)
  • Google Chrome: Ctrl-Shift-R を押してください (Mac では ⌘-Shift-R)
  • Internet Explorer: Ctrl を押しながら 最新の情報に更新 をクリックするか、Ctrl-F5 を押してください
  • Opera: ツール → 設定 からキャッシュをクリアしてください。
/**
 * MediaWiki:Gadget-codeeditor.js
 * Stub to load [[Extension:CodeEditor]] and Ace syntax-highlighting editor as a gadget.
 *
 * Requires enhanced editing toolbar (WikiEditor extension); integrates with toolbar.
 *
 * Gadget stub CC-BY-SA 2
 * (c) 2011 Brion Vibber <brion @ pobox.com>
 *
 * Extension:CodeEditor JS bits are GPLv2 -- https://www.mediawiki.org/wiki/Extension:CodeEditor
 *
 * Syntax highlighting, auto-indenting code editor widget for on-wiki JS and CSS pages.
 * Uses embedded Ajax.org Cloud9 Editor: http://ace.ajax.org/
 * MPL/LGPL/GPL
 */

mw.log( '[[mw:MediaWiki:Gadget-CodeEditor.js]] has been disabled' );
/*
jQuery(document).ready(function ($) {
    // @fixme need an SSL alternative
    mw.config.set('wgCodeEditorAssetsPath', '//toolserver.org/~brion/extensions');
    var modules, i, ping,
        config = mw.config.get(['wgCodeEditorAssetsPath', 'wgNamespaceNumber', 'wgTitle']),
        moduleBase = config.wgCodeEditorAssetsPath + '/CodeEditor/modules',
        $box = $('#wpTextbox1'),
        matches = /\.(js|css)$/.exec(config.wgTitle);
    if ($box.length && matches && (config.wgNamespaceNumber === 2 || config.wgNamespaceNumber === 8)) {
        modules = [
            moduleBase + '/ace/ace.js',
            moduleBase + '/ace/mode-javascript.js',
            moduleBase + '/ace/mode-css.js',
            moduleBase + '/jquery.codeEditor.js',
            moduleBase + '/ext.codeEditor.js'
        ];
        i = 0;
        // @fixme loading serially is kinda lame, but it works for now
        ping = function () {
            if ( i < modules.length ) {
                var url = modules[i];
                $.getScript(url, function () {
                    i++;
                    ping();
                });
            }
        };
        ping();
    }
});
*/