mediawiki/who-is-watching

Provides a listing of usernames watching a wiki page

dev-master 2023-05-26 06:31 UTC

Requires

• composer/installers: 1.*,>=1.0.1

Requires (Dev)

• mediawiki/mediawiki-codesniffer: 41.0.0
• mediawiki/minus-x: 1.1.1
• php-parallel-lint/php-console-highlighter: 1.0.0
• php-parallel-lint/php-parallel-lint: 1.3.2
• phpmd/phpmd: ~2.1

GPL-3.0+

• Paul Grinberg
• Siebrand Mazeland
• Vitaliy Filippov
• Mark A. Hershberger

• extension
• wiki
• mediawiki
• watchlists