Fix for wgArticleId being exported to JavaScript as a string instead of integer. :P

[lhc/web/wiklou.git] / includes / Title.php

diff --git a/includes/Title.php b/includes/Title.php
index 48063be..51a9c17 100644 (file)
--- a/includes/Title.php
+++ b/includes/Title.php
@@ -2158,7 +2158,7 @@ class Title {
                $linkCache->clearBadLink( $this->getPrefixedDBkey() );
 
                if ( $newid === false ) { $this->mArticleID = -1; }
-               else { $this->mArticleID = $newid; }
+               else { $this->mArticleID = intval( $newid ); }
                $this->mRestrictionsLoaded = false;
                $this->mRestrictions = array();
        }