diff options
Diffstat (limited to 'web/lib/confparser.inc.php')
| -rw-r--r-- | web/lib/confparser.inc.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/web/lib/confparser.inc.php b/web/lib/confparser.inc.php index 790aa0e6..db44b368 100644 --- a/web/lib/confparser.inc.php +++ b/web/lib/confparser.inc.php @@ -23,3 +23,10 @@ function config_get_bool($section, $key) { $val = strtolower(config_get($section, $key)); return ($val == 'yes' || $val == 'true' || $val == '1'); } + +function config_section_exists($key) { + global $AUR_CONFIG; + config_load(); + + return array_key_exists($key, $AUR_CONFIG); +} |