Page MenuHomePhabricator

Drop `$wgProfileOnly`, deprecated in 1.23 and unused
Closed, ResolvedPublic

Description

Scanning through https://codesearch.wmflabs.org/search/?q=ProfileOnly&i=nope&files=&repos= shows no more uses, this is safe to remove now

Event Timeline

Restricted Application added a project: User-DannyS712. · View Herald TranscriptDec 23 2019, 12:46 AM
Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 560355 had a related patch set uploaded (by DannyS712; owner: DannyS712):
[mediawiki/core@master] Drop wgProfileOnly, deprecated and unused

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

Assuming this task is about MediaWiki-General, hence adding project tag so others can find this task when searching for tasks under that project.

Change 560355 merged by jenkins-bot:
[mediawiki/core@master] Drop wgProfileOnly, deprecated and unused

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

DannyS712 closed this task as Resolved.Jan 2 2020, 12:02 AM