Contributions by User:Alefar

I will do it for MediaWiki and extensions in the next few days. A bit of manual work ...

Update:

All other deletions are to be done in non-Gerrit-repos

Raymond17:29, 24 January 2021