“MediaWiki:Common.js”的版本间的差异
来自丢石头百科
| 第16行： | 第16行： | ||
function hideToc() { | function hideToc() { | ||
hideToc = document.getElementById("toctogglecheckbox"); | hideToc = document.getElementById("toctogglecheckbox"); | ||
| − | if (hideToc | + | if (hideToc) { |
hideToc.checked=true; | hideToc.checked=true; | ||
} | } | ||
} | } | ||
2020年9月21日 (一) 17:00的版本
/* 这里的任何JavaScript将为所有用户在每次页面载入时加载。 */
$(function() {
showProductTabs();
hideToc();
});
function showProductTabs() {
$productTabs = $("tbody .tabbertab");
$.each($productTabs, function(i, tab) {
$(tab).css("border", "1px solid #ccc");
info = $("<p></p>").text($(tab).attr("title"));
$(tab).find("a").append(info);
});
}
function hideToc() {
hideToc = document.getElementById("toctogglecheckbox");
if (hideToc) {
hideToc.checked=true;
}
}
