Merge "Clean some phpcs errors in Preferences.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 15 Dec 2013 12:15:03 +0000 (12:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 15 Dec 2013 12:15:03 +0000 (12:15 +0000)
commit12fcdd3216c14c11922cb07784fb040470af9a56
tree438dc1219ac41f634439575b84ebd2377f19f8a9
parent17ab92a6569e84a5504fd5dc5e5487c1229ff4b7
parent46cf6929ed85f59c760b9e264aea93ac8cba5c7c
Merge "Clean some phpcs errors in Preferences.php"