MediaWiki:Badfilename
File name has been changed to "$1".