dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
2961884
)
Merge "wpUndidRevision should be passed along during 'preview' and 'diff'"
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Aug 2013 15:32:43 +0000
(15:32 +0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Mon, 26 Aug 2013 15:32:43 +0000
(15:32 +0000)
includes/EditPage.php
patch
|
blob
|
history
diff --git
a/includes/EditPage.php
b/includes/EditPage.php
index
61742c2
..
ec9f6ba
100644
(file)
--- a/
includes/EditPage.php
+++ b/
includes/EditPage.php
@@
-666,6
+666,11
@@
class EditPage {
$this->edittime = $request->getVal( 'wpEdittime' );
$this->starttime = $request->getVal( 'wpStarttime' );
+ $undidRev = $request->getInt( 'wpUndidRevision' );
+ if ( $undidRev ) {
+ $this->undidRev = $undidRev;
+ }
+
$this->scrolltop = $request->getIntOrNull( 'wpScrolltop' );
if ( $this->textbox1 === '' && $request->getVal( 'wpTextbox1' ) === null ) {