MediaWiki:Common.js: Difference between revisions
No edit summary Tag: Reverted |
Tag: Undo |
||
| Line 417: | Line 417: | ||
var saved = (function () { try { return localStorage.getItem(LS_SCRIPT_KEY); } catch (e) { return null; } }()); | var saved = (function () { try { return localStorage.getItem(LS_SCRIPT_KEY); } catch (e) { return null; } }()); | ||
if (saved && saved !== 'deva') { applyScript(saved); } else { currentScript = 'deva'; } | if (saved && saved !== 'deva') { applyScript(saved); } else { currentScript = 'deva'; } | ||
setTimeout(setupToc, 200); | setTimeout(setupToc, 200); | ||
} | } | ||