MediaWiki:Badfilename

From DoctorWhen

Filename has been changed to "$1".