Expand $wgDBDefaultGroup documentation
authorMarius Hoch <hoo@online.de>
Mon, 25 Jun 2018 20:56:51 +0000 (22:56 +0200)
committerMarius Hoch <hoo@online.de>
Mon, 25 Jun 2018 20:56:51 +0000 (22:56 +0200)
commitc17fdac8ffd2a2347e589f6782b8474b34940dc3
tree63b8d1c098a152962031d033903a406637d5cad0
parent9bed58e2b54ff678fe63e07b5bf888e90f32c178
Expand $wgDBDefaultGroup documentation

Per Krinkle's comment:
https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/440022/2/includes/DefaultSettings.php

Change-Id: I94e6e7f5048de610d2ae0722cb3de216288ed182
includes/DefaultSettings.php