Page MenuHomePhabricator

Convert WikEdDiff to use extension registration
Closed, ResolvedPublic

Related Objects

View Standalone Graph
This task is connected to more than 200 other tasks. Only direct parents and subtasks are shown here. Use View Standalone Graph to show more of the graph.

Event Timeline

Jayprakash12345 created this task.
Restricted Application added a subscriber: Aklapper. · View Herald Transcript
jay@JAY C:\xampp\htdocs\enwiki
# php maintenance/convertExtensionToRegistration.php extensions/WikEdDiff/WikEdDiff.php
Wrote output to C:\xampp\htdocs\enwiki\extensions\WikEdDiff/extension.json.

jay@JAY C:\xampp\htdocs\enwiki
# php maintenance/validateRegistrationFile.php extensions/WikEdDiff/extension.json
extensions/WikEdDiff/extension.json validates against the schema!

Change 405577 had a related patch set (by Jayprakash12345) published:
[mediawiki/extensions/WikEdDiff@master] Convert WikEdDiff to use extension registration

https://gerrit.wikimedia.org/r/405577

Change 405577 merged by jenkins-bot:
[mediawiki/extensions/WikEdDiff@master] Convert WikEdDiff to use extension registration

https://gerrit.wikimedia.org/r/405577