Made getLatestRevID() return an integer
authorAaron Schulz <aaron@users.mediawiki.org>
Wed, 10 Mar 2010 20:01:49 +0000 (20:01 +0000)
committerAaron Schulz <aaron@users.mediawiki.org>
Wed, 10 Mar 2010 20:01:49 +0000 (20:01 +0000)
includes/Title.php

index 06756d1..246cc9d 100644 (file)
@@ -2157,7 +2157,8 @@ class Title {
                        return $this->mLatestID;
 
                $db = ($flags & GAID_FOR_UPDATE) ? wfGetDB(DB_MASTER) : wfGetDB(DB_SLAVE);
-               $this->mLatestID = $db->selectField( 'page', 'page_latest', $this->pageCond(), __METHOD__ );
+               $this->mLatestID = (int)$db->selectField(
+                       'page', 'page_latest', $this->pageCond(), __METHOD__ );
                return $this->mLatestID;
        }