Add an "editor" extension type

[lhc/web/wiklou.git] / includes / config / Config.php

diff --git a/includes/config/Config.php b/includes/config/Config.php
index 03d2cb9..38f589d 100644 (file)
--- a/includes/config/Config.php
+++ b/includes/config/Config.php
@@ -35,4 +35,13 @@ interface Config {
         * @throws ConfigException
         */
        public function get( $name );
+
+       /**
+        * Check whether a configuration option is set for the given name
+        *
+        * @param string $name Name of configuration option
+        * @return bool
+        * @since 1.24
+        */
+       public function has( $name );
 }