Manual:removeDeletedWikis.php

From mediawiki.org