Merge "WebInstallerOptions: Preserve state of extension checkboxes on error"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Jul 2014 23:08:57 +0000 (23:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Jul 2014 23:08:57 +0000 (23:08 +0000)
commit78e138068fd7260a8bce2bc25397d11ffd3e13cb
treebdcd1744e3583ebe55bf0b34ec284854701757a1
parent355dc65902231730cae8e18b9aa63fbfce48cef3
parentd37b1770aba5686269ab45e87e0f27022980dcb9
Merge "WebInstallerOptions: Preserve state of extension checkboxes on error"