Merge "(bug 43270) Add wgPostEdit to show if user just saved this page"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Feb 2013 20:50:58 +0000 (20:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Feb 2013 20:50:58 +0000 (20:50 +0000)
commitf758ec0d1a473c1e8522489182b399b26adf72eb
tree938a844b499e7ea820b8d0c9bb93b39c9850dafd
parent7e6ad48641e9fbf3b9650112d0d9ea463507d0f9
parent375687eddb95b159f99f1826eeb6a8a6713bb10b
Merge "(bug 43270) Add wgPostEdit to show if user just saved this page"
includes/EditPage.php
resources/Resources.php