2018-11-12 - production
16:09	<phuedx>	phuedx@mwmaint1002 running restPageRandom.php maintenance script for large wikis	[production]