Deletion required
The destination page "$1" already exists. Do you want to delete it to make way for the move?
MediaWiki:Delete and move text
From GridLab
The destination page "$1" already exists. Do you want to delete it to make way for the move?
