Manual:DeleteDefaultMessages.php/de-formal

Details
deleteDefaultMessages.php file is a maintenance script to delete all pages in the   namespace which were last edited by "MediaWiki default". Deletion will be done with the reason "No longer required".