Merge "Fixed MediaWiki dual getter/setters from fataling"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 30 Jul 2014 15:31:19 +0000 (15:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 30 Jul 2014 15:31:19 +0000 (15:31 +0000)
commit6b227965f711ec8eabe666cf5aed545cfabde698
tree8c39113847696afde2cd8a056010e23927e9877d
parent1c52da8e5dfb930ab2987b842e7caad9c00e6ff5
parent0a61ebd1d7d0ffb254063ad8470d1a124ab21e1e
Merge "Fixed MediaWiki dual getter/setters from fataling"