SpecialContributions: Fix capitalization of DateInputWidget class

[lhc/web/wiklou.git] / maintenance / manageJobs.php

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
                        }