MediaWiki  master
Config.php
Go to the documentation of this file.
1 <?php
28 interface Config {
29 
37  public function get( $name );
38 
46  public function has( $name );
47 }
Interface for configuration instances.
Definition: Config.php:28
has( $name)
Check whether a configuration option is set for the given name.