Merge "Config: Add Config and GlobalConfig classes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 Jan 2014 05:15:26 +0000 (05:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 Jan 2014 05:15:26 +0000 (05:15 +0000)
commit529c02dc47fd490a59fa811d5633c99eb16f0c22
tree33f965b617468353fc149cb2e462e47655a0cf6f
parenta42c28d871af7a4ccaec16f81fece782e665f96d
parentfbfe789b987b4cfd060c429d474a7529739fd0d3
Merge "Config: Add Config and GlobalConfig classes"
includes/AutoLoader.php
includes/DefaultSettings.php