Merge "Introduce top level service locator."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 3 Apr 2016 07:26:31 +0000 (07:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 3 Apr 2016 07:26:31 +0000 (07:26 +0000)
commit9ee6461287f5d2d6fae719ec62ae6465e0a3809d
treeefa988f5f1729ffa03c04ca4005aa905a65f4388
parentf7d7aa01ab9c0f526b7046998b415d72c2b52afe
parenteb46307b001ad116426b866b506ef49fb21f1e3d
Merge "Introduce top level service locator."
autoload.php
docs/hooks.txt
includes/DefaultSettings.php