mediawiki-extension namespace-manager

dev-master

9999999-dev

A namespace manager for MediaWiki

  Sources   Download

GPL-3.0-or-later

The Requires

• php >=5.5.0
• composer/installers 1.*,>=1.0.1

 

The Development Requires

• jakub-onderka/php-parallel-lint 0.9.2
• jakub-onderka/php-console-highlighter 0.3.2
• mediawiki/minus-x 0.2.1
• mediawiki/mediawiki-codesniffer 14.1.0
• phpmd/phpmd ~2.1

extension mediawiki wiki