/* Taken from [[User:Voyagerfan5761/changelinks.js]]. This version contains my personal modifications to the script. */
if( window.idsToRename === undefined ) {
var idsToRename = new Array(
{ name : 'ca-nstab-help', text : 'help' },
{ name : 'ca-nstab-main', text : 'page' },
{ name : 'ca-nstab-special', text : 'special' },
{ name : 'ca-nstab-project', text : 'wiki' },
{ name : 'ca-nstab-user', text : 'user' },
{ name : 'ca-edit', text : 'edit' },
{ name : 'ca-viewsource', text : 'source' },
{ name : 'ca-addsection', text : '+' },
{ name : 'ca-history', text : 'hist' },
{ name : 'ca-talk', text : 'talk' },
{ name : 'pt-userpage', text : 'User' },
{ name : 'pt-mytalk', text : 'Talk' },
{ name : 'pt-preferences', text : 'Prefs' },
{ name : 'pt-watchlist', text : 'Watchlist' },
{ name : 'pt-mycontris', text : 'Contribs' },
{ name : 'friendly-welcome', text : 'welc' },
{ name : 'friendly-shared', text : 'sIP' }
);
}
function fixtabs()
{
for(i = 0; i < idsToRename.length; i++) {
if(document.getElementById(idsToRename[i].name)) {
document.getElementById(idsToRename[i].name).firstChild.innerHTML = idsToRename[i].text;
}
}
}
$(fixtabs);