差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录 前一修订版 | |||
|
首页 [2026/11/13 00:59] wjj Polish language switch label |
首页 [2026/11/13 01:56] (当前版本) wjj Remove obsolete Main_En entry |
||
|---|---|---|---|
| 行 222: | 行 222: | ||
| } | } | ||
| function boot(){ | function boot(){ | ||
| + | /* 旧英文入口 Main_En 已停用:从左侧导航移除本项及其换行 */ | ||
| + | (function(){ | ||
| + | var box=document.getElementById(' | ||
| + | var as=box.getElementsByTagName(' | ||
| + | for(var i=as.length-1; | ||
| + | var a=as[i], h=a.getAttribute(' | ||
| + | if(!/ | ||
| + | var p=a.parentNode; | ||
| + | var n=a.nextSibling; | ||
| + | while(n && n.nodeType===3 && !String(n.nodeValue).trim()){var t=n; | ||
| + | if(n && n.nodeName===' | ||
| + | p.removeChild(a); | ||
| + | } | ||
| + | })(); | ||
| if(HERE===' | if(HERE===' | ||
| var sels=['# | var sels=['# | ||