Add wgRevisionId variable to ResourceLoader

mw.config provides wgCurRevisionId, which has the latest
revision number. This adds wgRevisionId, which indicates
the revision number currently being viewed. This is useful
when looking at old revisions.

Bug: 51594
Change-Id: Ie0d00f3a9a8af8533ab28204b5bb483a0092c710

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 83a7d3f..a020def 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -3022,6 +3022,7 @@ $templates
                        'wgPageName' => $title->getPrefixedDBkey(),
                        'wgTitle' => $title->getText(),
                        'wgCurRevisionId' => $latestRevID,
+                       'wgRevisionId' => (int)$this->getRevisionId(),
                        'wgArticleId' => $pageID,
                        'wgIsArticle' => $this->isArticle(),
                        'wgIsRedirect' => $title->isRedirect(),