Content deleted Content added
change variable to something likely to be unique |
double quotes |
||
Line 61:
// Create the "Restart portal" menu item for when "Portal:" is not missing from the title,
// and the portal is of the old style portal (has the old section "Selected article", that is index returns value for that section title)
var selectedArticle = document.getElementById(
if ((document.title.indexOf("Portal:") != -1) && (selectedArticle != -1)) {
// But not for a subpage (page with a forward slash in its title) or a search results page
|