MediaWiki:Gadget-search-fix.js：修订间差异

MediaWiki:Gadget-search-fix.js (查看源代码)

删除305字节、 2021年6月15日 (星期二)

无编辑摘要

匿名用户

@@ 第8行： / 第8行： @@
         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);