2018-02-09 - production
20:07	<demon@tin>	Synchronized php-1.31.0-wmf.20/includes/MediaWiki.php: Catch Error exceptions in MediaWiki::run() (duration: 00m 57s)	[production]