Fix timestamp format in maintenance/manageJobs.php

Follow-up of Ib56cf57e56f03ce6f1c4b52e3e36f228413c1056,
Job::getQueuedTimestamp() returns a UNIX timestamp, so use
the same here for comparison.

Change-Id: I595f962b71337fc9021963c55ee7dd2443149a46

diff --git a/maintenance/manageJobs.php b/maintenance/manageJobs.php
index 9585ed8..bbedf0c 100644 (file)
--- a/maintenance/manageJobs.php
+++ b/maintenance/manageJobs.php
@@ -75,7 +75,7 @@ class ManageJobs extends Maintenance {
                $skipped = 0;
                foreach ( $queue->getAllAbandonedJobs() as $job ) {
                        /** @var Job $job */
-                       if ( $job->getQueuedTimestamp() < $lastRepushTime ) {
+                       if ( $job->getQueuedTimestamp() < wfTimestamp( TS_UNIX, $lastRepushTime ) ) {
                                ++$skipped;
                                continue; // already re-pushed in prior round
                        }