2020-10-27 - production
17:22	<mutante>	gerrit1001/2001 - sudo rm /var/www/mediawiki-extensions.txt	[production]