mediawiki-extension who-is-watching

dev-master

9999999-dev https://www.mediawiki.org/wiki/Extension:WhoIsWatching

Provides a listing of usernames watching a wiki page

  Sources

GPL-3.0+

The Requires

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

 

The Development Requires

• jakub-onderka/php-parallel-lint 1.0.0
• jakub-onderka/php-console-highlighter 0.3.2
• mediawiki/minus-x 0.3.1
• phpmd/phpmd ~2.1
• mediawiki/mediawiki-codesniffer 21.0.0

extension mediawiki wiki watchlists

dev-REL1_31

dev-REL1_31

  Sources

The Development Requires

• jakub-onderka/php-parallel-lint 1.0.0
• jakub-onderka/php-console-highlighter 0.3.2
• mediawiki/minus-x 0.3.1