Merge "HTMLForm entity labels are now optional and escaped"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 1 May 2013 01:02:06 +0000 (01:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 1 May 2013 01:02:06 +0000 (01:02 +0000)
commit7cc8df605ed4c94bbb5be7f83755b4418485e9f4
treed03a33c6e5dcb29b948bb20675b728b1cd0485a2
parent939b104dbb55c6045d133322c6bb35908ed6218c
parent4497500e7bdeb7695dce7918d3437b06bc7d031f
Merge "HTMLForm entity labels are now optional and escaped"
includes/HTMLForm.php
includes/Preferences.php