Sort $wgLogActionsHandlers/$wgLogActions/$wgLogHeaders
authorumherirrender <umherirrender_de.wp@web.de>
Wed, 8 Jul 2015 16:56:56 +0000 (18:56 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Wed, 8 Jul 2015 16:56:56 +0000 (18:56 +0200)
commit0ef97469d82f210e5e2e6a90ce8d7ae7e122c057
tree64f3fa83202e117d5c00d0b0c16e3f448f12e35a
parent92592631ecb308f814b976f068cad176699f8716
Sort $wgLogActionsHandlers/$wgLogActions/$wgLogHeaders

For better readability sort the keys of the log config vars in
DefaultSettings.php

Change-Id: I2db37f4987fc791402368813c39361e04a83e7e8
includes/DefaultSettings.php