You are about to delete the file $1 along with all of its history.
MediaWiki:Filedelete-intro
From WFilter Documents and Tutorials
You are about to delete the file $1 along with all of its history.
