/* Due to changes in MediaWiki diff rendering, this script is now obsolete!

*/

mw.log.warn( 'You installed the userscript [[Wikipedia:WikiProject User scripts/Scripts/Fix diff width]]\n' 
	+ 'It is no longer working and you should uninstall it.');
return;

//