Manual:DeleteEqualMessages.php

Maintenance script that deletes all pages in the MediaWiki namespace of which the content is equal to the system default.

Add information: When should this be used? It will save some space, but that isn't the reason to integrate that script, right?

Must it be used at some point? E.g. before getting new translations?

Will it be used automatically at some point?