diff options
author | Erik Dubbelboer <erik@dubbelboer.com> | 2019-11-24 19:43:06 +0300 |
---|---|---|
committer | Erik Dubbelboer <erik@dubbelboer.com> | 2019-11-24 19:43:06 +0300 |
commit | c291de34a179faefa84ea53bee89176a5d380817 (patch) | |
tree | 994d2d5cae0ec6f0902952d215fd657e40450b00 /includes/config.sample.inc.php | |
parent | feed670bbdcb81b673de85f3327e0c232c915fd9 (diff) |
Add showEmptyNamespaceAsKey and make <empty> grey
Diffstat (limited to 'includes/config.sample.inc.php')
-rw-r--r-- | includes/config.sample.inc.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/config.sample.inc.php b/includes/config.sample.inc.php index e24aa52..10ed201 100644 --- a/includes/config.sample.inc.php +++ b/includes/config.sample.inc.php @@ -38,6 +38,7 @@ $config = array( 'seperator' => ':', + 'showEmptyNamespaceAsKey' => false, // Hide empty databases in the database list (global, valid for all servers unless set at server level) 'hideEmptyDBs' => false, |