2020-07-22 - codesearch
14:03	<Amir1>	restart codesearch to pick up new config (adding mediawiki/vagrant)	[codesearch]