Actually update $lastTime in runJobs.php
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 22 May 2013 23:26:46 +0000 (16:26 -0700)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 24 May 2013 18:09:45 +0000 (18:09 +0000)
commite990facd730ef042516a25d67f2ed86ec352096b
treee5c1afa83ffb81ad17ff01623912b910f0585ca3
parent669e9fc31c19d349668cbe30064402be5c71bb89
Actually update $lastTime in runJobs.php

Change-Id: Ic51b0941aa72f444b1bad919e6a05ff0ba273ce7
maintenance/runJobs.php