DevelopmentSettings: Clarify grouping of settings and purpose
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 7 Aug 2019 14:22:03 +0000 (15:22 +0100)
committerKrinkle <krinklemail@gmail.com>
Wed, 7 Aug 2019 14:23:58 +0000 (14:23 +0000)
commit853de300a3d85827015ca25131b6efdc31c4285a
treea1a135ab501c71b9a48656335dc83431d94c14ee
parent3c163e348aa5cabdf9512ada3b7ad754a9427099
DevelopmentSettings: Clarify grouping of settings and purpose

Change-Id: Ia0fc063eb2679b466e19e6dabaf1f4bea7d6bb20
includes/DevelopmentSettings.php