Merge "Add wgRevisionId variable to ResourceLoader"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 26 Sep 2013 02:43:26 +0000 (02:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 26 Sep 2013 02:43:26 +0000 (02:43 +0000)
includes/OutputPage.php

index e628834..6904432 100644 (file)
@@ -3011,6 +3011,7 @@ $templates
                        'wgPageName' => $title->getPrefixedDBkey(),
                        'wgTitle' => $title->getText(),
                        'wgCurRevisionId' => $latestRevID,
+                       'wgRevisionId' => (int)$this->getRevisionId(),
                        'wgArticleId' => $pageID,
                        'wgIsArticle' => $this->isArticle(),
                        'wgIsRedirect' => $title->isRedirect(),