dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge "Add mute preferences link to the tools menu"
[lhc/web/wiklou.git]
/
includes
/
config
/
Config.php
diff --git
a/includes/config/Config.php
b/includes/config/Config.php
index
68e90b4
..
38f589d
100644
(file)
--- a/
includes/config/Config.php
+++ b/
includes/config/Config.php
@@
-37,11
+37,11
@@
interface Config {
public function get( $name );
/**
public function get( $name );
/**
- *
Set a configuration variable such a "Sitename" to something like "My Wiki"
+ *
Check whether a configuration option is set for the given name
*
* @param string $name Name of configuration option
*
* @param string $name Name of configuration option
- * @
param mixed $value Value to set
- * @
throws ConfigException
+ * @
return bool
+ * @
since 1.24
*/
*/
- public function
set( $name, $valu
e );
+ public function
has( $nam
e );
}
}