MediaWiki  master
Config.php
Go to the documentation of this file.
1 <?php
30 interface Config {
31 
39  public function get( $name );
40 
48  public function has( $name );
49 }
Interface for configuration instances.
Definition: Config.php:30
has( $name)
Check whether a configuration option is set for the given name.