Merge "FormOptions: Document getValueReal(), consistency fixes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 19 Oct 2013 15:12:29 +0000 (15:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 19 Oct 2013 15:12:29 +0000 (15:12 +0000)
commit6985d304dbf855562432464d868ad5eae704a416
tree88406f809f6d0c91892f170cee47dd8d3447c87a
parent694df5e7ea396285fd04878b61d8ccd97dc0a453
parent23b159027806d840556e6a9a19a5eb6d47aa98d9
Merge "FormOptions: Document getValueReal(), consistency fixes"