MediaWiki:Gadget-search-fix.js

H萌娘,万物皆可H的百科全书!
imported>=海豚=2021年5月25日 (二) 13:02的版本
跳到导航 跳到搜索

注意:这类代码页面在保存之后,您可能需要清除浏览器缓存才能看到所作出的变更的影响。

(function($, mw) {
    // don't be too aggresive. just fix some obvious typos
    var searchTerm = mw.util.getParamValue('search');
    if (searchTerm !== null && mw.util.getParamValue('fulltext') === null) {
        // namespace names
        var colonIdx = searchTerm.indexOf(':');
        if (colonIdx != -1) {
            var ns = searchTerm.substring(0, colonIdx);
            var page = searchTerm.substring(colonIdx + 1);
            if (mw.config.get('wgNamespaceIds')[ns.toLowerCase()]) {
                // valid namespace
                var url = mw.config.get('wgScript') + '?search=' + encodeURIComponent(ns + ':' + page);
mw.notify('全角冒号转换完成');
                window.location.href = url;
            }
        }
    }
})(jQuery, mediaWiki);