Code Coverage for /workspace/src/includes/config/Config.php

1	<?php
2	/**
3	* Copyright 2014
4	*
5	* This program is free software; you can redistribute it and/or modify
6	* it under the terms of the GNU General Public License as published by
7	* the Free Software Foundation; either version 2 of the License, or
8	* (at your option) any later version.
9	*
10	* This program is distributed in the hope that it will be useful,
11	* but WITHOUT ANY WARRANTY; without even the implied warranty of
12	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13	* GNU General Public License for more details.
14	*
15	* You should have received a copy of the GNU General Public License along
16	* with this program; if not, write to the Free Software Foundation, Inc.,
17	* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
18	* http://www.gnu.org/copyleft/gpl.html
19	*
20	* @file
21	*/
22
23	namespace MediaWiki\Config;
24
25	/**
26	* Interface for configuration instances
27	*
28	* @stable to implement
29	*
30	* @since 1.23
31	*/
32	interface Config {
33
34	/**
35	* Get a configuration variable such as "Sitename" or "UploadMaintenance."
36	*
37	* @param string $name Name of configuration option
38	* @return mixed Value configured
39	* @throws ConfigException
40	*/
41	public function get( $name );
42
43	/**
44	* Check whether a configuration option is set for the given name
45	*
46	* @param string $name Name of configuration option
47	* @return bool
48	* @since 1.24
49	*/
50	public function has( $name );
51	}
52
53	/** @deprecated class alias since 1.41 */
54	class_alias( Config::class, 'Config' );