MediaWiki master
Config.php
Go to the documentation of this file.
1<?php
10
18interface Config {
19
27 public function get( $name );
28
36 public function has( $name );
37}
38
40class_alias( Config::class, 'Config' );
Interface for configuration instances.
Definition Config.php:18
has( $name)
Check whether a configuration option is set for the given name.