MediaWiki:Badfilename

Filename has been changed to "$1".