The page or file "$1" could not be deleted. It may have already been deleted by someone else.
MediaWiki:Cannotdelete
From Gateway house
The page or file "$1" could not be deleted. It may have already been deleted by someone else.
