Merge "Remove last remnants of pre-1.16 live preview"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 Nov 2016 21:56:35 +0000 (21:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 Nov 2016 21:56:35 +0000 (21:56 +0000)
commit1f83b424294a6fd78cb73cf43db3464ca7481774
tree3ee8b5a892f5008cb9f8984c093a13807be987f4
parentb330e5a736aa389a4babaceffa1116c879e49f1a
parent4853491d0478fb00d34df711bdd024bc3f6f8d0b
Merge "Remove last remnants of pre-1.16 live preview"
includes/EditPage.php