MediaWiki:Common.js: Difference between revisions
Fix broken internal links: remove erroneous /wiki/ path prefix (articlepath is /$1) |
No edit summary |
||
| Line 1,283: | Line 1,283: | ||
setTimeout(boot, 100); | setTimeout(boot, 100); | ||
} | } | ||
})(); | |||
// Override favicon with BigBro favicon (BigBro mark icon) | |||
(function() { | |||
var faviconUrl = '/images/8/80/BigBro_mark.png'; | |||
var existingFavicons = document.querySelectorAll('link[rel*="icon"]'); | |||
existingFavicons.forEach(function(el) { el.parentNode.removeChild(el); }); | |||
var link = document.createElement('link'); | |||
link.rel = 'icon'; | |||
link.type = 'image/png'; | |||
link.href = faviconUrl; | |||
document.head.appendChild(link); | |||
})(); | })(); | ||