HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Gather…

Authored by Yurik.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Gather 32b642907a6f34aad47c2af3af5c0ba10e89a9de

Add extension.json, empty PHP entry point

Notes:

  • Added myself to the authors list
  • Deleted resources.php file, as it duplicates extension.json

Bug: T91802
Change-Id: Iadd4a976f2f34211d69ee2add036ede6e234f256

Details

Committed
Gerrit Code ReviewMay 12 2015, 8:26 AM
Parents
rMEXT591dd3b689d9: Updated mediawiki/extensions Project: mediawiki/extensions/WikidataPageBanner…
Branches
Unknown
Tags
Unknown
ChangeId
Iadd4a976f2f34211d69ee2add036ede6e234f256

Event Timeline