2019-04-10 - tools.wikibugs
12:48	<arturo>	restart wikibugs following docs at https://www.mediawiki.org/wiki/Wikibugs#Restarting_wikibugs	[tools.wikibugs]