From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- maintenance/populateParentId.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'maintenance/populateParentId.php') diff --git a/maintenance/populateParentId.php b/maintenance/populateParentId.php index f77978fc..686d9f2b 100644 --- a/maintenance/populateParentId.php +++ b/maintenance/populateParentId.php @@ -84,7 +84,7 @@ class PopulateParentId extends LoggedUpdateMaintenance { "rev_id < " . intval( $row->rev_id ) ), __METHOD__, array( 'ORDER BY' => 'rev_id DESC' ) ); - # If there are none, check the the highest ID with a lower timestamp + # If there are none, check the highest ID with a lower timestamp if ( !$previousID ) { # Get the highest older timestamp $lastTimestamp = $db->selectField( -- cgit v1.2.3-54-g00ecf