MediaWiki:Badfilename

From Suresh Joshi

Filename has been changed to "$1".