MediaWiki REL1_34
Config.php
Go to the documentation of this file.
1<?php
28interface 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.