Difference between revisions of "Team:NUDT CHINA"
| Line 462: | Line 462: | ||
content = document.getElementById('content'); | content = document.getElementById('content'); | ||
| − | + | if (typeof menuLink !== 'undefined') { | |
| + | // Now we know that foo is defined, we are good to go. | ||
| + | } | ||
function toggleClass(element, className) { | function toggleClass(element, className) { | ||
var classes = element.className.split(/\s+/), | var classes = element.className.split(/\s+/), | ||
Revision as of 15:48, 17 October 2017
