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)
commit123d4122c84f4078de080046a1d2a4981dcdf4d7
tree6bef0468e901040564255798132b19c7aa0d1994
parent764c877d14e2415626a60e811a94793ed8ecdffb
parent7fa7b71eb3a5dd24e75865162e4c06a4a6012524
Merge "Add wgRevisionId variable to ResourceLoader"
includes/OutputPage.php