User:DerHexer/expandfilenames.js
Jump to navigation
Jump to search
Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: press Ctrl-F5, Mozilla: hold down Shift while clicking Reload (or press Ctrl-Shift-R), Opera/Konqueror: press F5, Safari: hold down Shift + Alt while clicking Reload, Chrome: hold down Shift while clicking Reload.
Documentation for this user script can be added at User:DerHexer/expandfilenames. |
function expandfilenames() {
var lis = document.getElementById('mw-category-media').getElementsByTagName('li');
for(i=0;i<lis.length;i++){
var thisa = lis[i].getElementsByTagName('a')[1];
thisa.innerHTML = thisa.getAttribute('title').replace(/File\:/,'');
}
}
//if (wgNamespaceNumber == '14') addOnloadHook(expandfilenames);