Merge "registration: Remove unused variable"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 May 2015 15:24:51 +0000 (15:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 May 2015 15:24:51 +0000 (15:24 +0000)
commit7c2e7768239ea21b81dc19983da01550831c4344
tree9a40923244bd02abeddb63fc956e01591b868683
parentff3ae55548eba70c51a2e8e8fb2bc60c072e0e49
parentccd536a87279a4483fb48d62637308e0821f1c07
Merge "registration: Remove unused variable"
includes/registration/ExtensionRegistry.php