Merge "Make $wgMWLoggerDefaultSpi more expressive"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 27 Oct 2014 17:08:04 +0000 (17:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 27 Oct 2014 17:08:04 +0000 (17:08 +0000)
commit752df151c6394d5869ab6803d1eafd09402a768d
treef2ba1b490933f3674d608bca9c249621438e97bc
parent5755a294978c5a55a2058f661762353d6935dfab
parent51b37035b3ec9befc869e629286b6f8ea4c29437
Merge "Make $wgMWLoggerDefaultSpi more expressive"
includes/AutoLoader.php
includes/DefaultSettings.php