MediaWiki REL1_35
MutableConfig.php
Go to the documentation of this file.
1<?php
30interface MutableConfig {
31
39 public function set( $name, $value );
40}
Interface for mutable configuration instances.