MediaWiki:Badfilename

From WMDRock Library

Filename has been changed to "$1".