Merge "phpcs: Pass DefaultSettings.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Feb 2013 08:35:59 +0000 (08:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Feb 2013 08:35:59 +0000 (08:35 +0000)
commita987ccf61b4e6e9c72e3c80b0523e7921a37b067
treeff511be0b885e9dc64cb8cc1c5ae8d137e54a667
parenteb4082d795f3304337a06d14202af686fa0d4c4c
parentb2ce4a9fb29b3c54cffc4820fc7444ffe42c0037
Merge "phpcs: Pass DefaultSettings.php"