JavaScript脚本:
window.addEventListener('load', function() {
if(mw.config.get('skin') == 'vector') { document.querySelector( '#toctogglecheckbox' ).checked = true; }
else {
let checkbox = document.querySelector( '#toctogglecheckbox:checked' );
if(checkbox) { checkbox.click(); }
}
});
//