MediaWiki:Badfilename

File name has been changed to "$1".