Line 35: | Line 35: | ||
function highlight_current_page () { | function highlight_current_page () { | ||
+ | |||
+ | |||
+ | wgPageName = wgPageName.replace(/ \//g,"-"); // remove dashes from page name and turn them into "-" | ||
+ | |||
$('#' + wgPageName).addClass("current_page"); | $('#' + wgPageName).addClass("current_page"); |
Revision as of 17:58, 13 December 2016