Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Convert WikEdDiff to use extension registration | mediawiki/extensions/WikEdDiff | master | +47 -28 |
Details
Details
Status | Subtype | Assigned | Task | |
---|---|---|---|---|
· · · | ||||
Open | Goal | None | T98668 Convert all extensions and skins on gerrit to use extension registration | |
Resolved | Jayprakash12345 | T185408 Convert WikEdDiff to use extension registration | ||
· · · |
Event Timeline
Comment Actions
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!
Comment Actions
Change 405577 had a related patch set (by Jayprakash12345) published:
[mediawiki/extensions/WikEdDiff@master] Convert WikEdDiff to use extension registration
Comment Actions
Change 405577 merged by jenkins-bot:
[mediawiki/extensions/WikEdDiff@master] Convert WikEdDiff to use extension registration