MediaWiki:Badfilename

From Doku

Filename has been changed to "$1".