2018-11-12 - production
13:59 <phuedx> phuedx@mwmaint1002 running restPageRandom.php maintenance script for small wikis (small.dblist) [production]