User:Image optimisation bot/Source/MediaWiki.java