Content deleted Content added
Sideswipe9th (talk | contribs) Create a debug copy of this script, based on the current live version. Changes will be tested here first before being rolled out to everyone else. |
Sideswipe9th (talk | contribs) add some debug strings |
||
Line 41:
if (nav == null)
{
console.log("Nav was null");
// it's not, ugh. Ok, get the elements with the class name mw-page-container-inner
var pageContainer = document.getElementsByClassName("mw-page-container-inner");
Line 55 ⟶ 56:
}
}
else
{
console.log("Nav was not null");
}
var newContainer = document.createElement("div"); // create a new div
newContainer.id = "vector-toc-pinned-container"; // give it the right id
| |||