미디어위키 Config

1 개요

미디어위키 Config

<?php
interface Config {

    public function get( $name );

    public function has( $name );
}

2 같이 보기

• 미디어위키 GlobalVarConfig

3 참고

• https://doc.wikimedia.org/mediawiki-core/master/php/Config_8php_source.html