Remove unused variable in ProfilerMwprof
[mediawiki.git] / includes / config / Config.php
blob38f589dcd02b5fba0f772db5fd377348274c0609
1 <?php
2 /**
3 * Copyright 2014
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.
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.
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
20 * @file
23 /**
24 * Interface for configuration instances
26 * @since 1.23
28 interface Config {
30 /**
31 * Get a configuration variable such as "Sitename" or "UploadMaintenance."
33 * @param string $name Name of configuration option
34 * @return mixed Value configured
35 * @throws ConfigException
37 public function get( $name );
39 /**
40 * Check whether a configuration option is set for the given name
42 * @param string $name Name of configuration option
43 * @return bool
44 * @since 1.24
46 public function has( $name );