MediaWiki:File-deleted-duplicate

A file identical to this file ($1) has previously been deleted. You should check that file's deletion history before proceeding to re-upload it.