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