Page MenuHomePhabricator

Remove PAGE_IMAGES_INSTALLED constant
Closed, ResolvedPublic

Description

ExtensionRegistry should be used instead to check whether an extension is installed.

https://codesearch.wmflabs.org/search/?q=PAGE_IMAGES_INSTALLED&i=nope&files=&repos=

Details

Related Gerrit Patches:
mediawiki/extensions/VisualEditor : masterDon't use PAGE_IMAGES_INSTALLED
mediawiki/extensions/PageImages : masterStop setting PAGE_IMAGES_INSTALLED
mediawiki/extensions/MobileFrontend : masterDon't use PAGE_IMAGES_INSTALLED

Event Timeline

Legoktm triaged this task as Medium priority.Jul 25 2018, 11:09 PM
Legoktm created this task.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJul 25 2018, 11:09 PM
Legoktm updated the task description. (Show Details)Jul 25 2018, 11:09 PM

Change 447926 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[mediawiki/extensions/VisualEditor@master] Don't use PAGE_IMAGES_INSTALLED

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

Change 447950 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[mediawiki/extensions/MobileFrontend@master] Don't use PAGE_IMAGES_INSTALLED

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

Change 447951 had a related patch set uploaded (by Legoktm; owner: Legoktm):
[mediawiki/extensions/PageImages@master] Stop setting PAGE_IMAGES_INSTALLED

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

Change 447950 merged by jenkins-bot:
[mediawiki/extensions/MobileFrontend@master] Don't use PAGE_IMAGES_INSTALLED

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

Change 447926 merged by jenkins-bot:
[mediawiki/extensions/VisualEditor@master] Don't use PAGE_IMAGES_INSTALLED

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

Change 447951 merged by jenkins-bot:
[mediawiki/extensions/PageImages@master] Stop setting PAGE_IMAGES_INSTALLED

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

Legoktm closed this task as Resolved.Jul 26 2018, 3:05 AM
Legoktm claimed this task.