Merge "Sort $wgLogActionsHandlers/$wgLogActions/$wgLogHeaders"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 10 Jul 2015 07:10:56 +0000 (07:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 10 Jul 2015 07:10:56 +0000 (07:10 +0000)
commita2527f7dc5504b2d1305dd0544f100135ebe70ca
treeb7ad31c9708ec2e8313f0b5819e59cd430d86e01
parent1747b121776a150ac5f42c41355c284fe208140f
parent0ef97469d82f210e5e2e6a90ce8d7ae7e122c057
Merge "Sort $wgLogActionsHandlers/$wgLogActions/$wgLogHeaders"
includes/DefaultSettings.php