Mediawiki - как установить расширение ExtJSBase через git

Mediawiki - как установить расширение ExtJSBase через git

Переходим в папку сайта, далее

$ cd extensions
$ git clone https://github.com/wikimedia/mediawiki-extensions-ExtJSBase ExtJSBase
$ vi ../LocalSettings.php
wfLoadExtension( 'ExtJSBase' );

и проверяем через страницу Служебная:Версия