diff options
Diffstat (limited to 'data/lib/otherButtons.js')
-rw-r--r-- | data/lib/otherButtons.js | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/data/lib/otherButtons.js b/data/lib/otherButtons.js index 80d9274..48d3505 100644 --- a/data/lib/otherButtons.js +++ b/data/lib/otherButtons.js @@ -150,11 +150,6 @@ function setBranding(things) { .toString() + " none"; - // Remove "Bug" from the title of the bug page, so we have more space with - // plenty of tabs - var titleElem = document.getElementsByTagName("title")[0]; - - titleElem.textContent = titleElem.textContent.slice(4); var bodyTitleParent = document .getElementById("summary_alias_container").parentNode; var bodyTitleElem = bodyTitleParent.getElementsByTagName("b")[0]; |