Page MenuHomePhabricator
Create Task
Maniphest T320479

Consider adopting PHP 7.4 features
Closed, ResolvedPublic
Actions

Description

Wikimedia production servers recently migrated to PHP 7.4 which means we can make use of new language features. This likely includes native property type hints, but there might be other features to consider.

https://www.php.net/releases/7_4_0.php

Details

SubjectRepoBranchLines +/-
REST: Add and lint native property type hintsmediawiki/extensions/Wikibasemaster+223 -257
REST: Prettify code using arrow functionsmediawiki/extensions/Wikibasemaster+5 -15
Bump mediawiki/mediawiki-phan-config to 0.12.0mediawiki/extensions/Wikibasemaster+6 -4
Customize query in gerrit

Event Timeline

Jakob_WMDE created this task.Oct 11 2022, 8:33 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 11 2022, 8:33 AM
Ollie.Shotton_WMDE awarded a token.Oct 11 2022, 9:08 AM
WMDE-leszek moved this task from Non Product to Sprint 15 on the Wikibase Product Platform (v1) board.Oct 11 2022, 10:16 AM
WMDE-leszek edited projects, added Wikibase Product Platform (v1) (Sprint 15); removed Wikibase Product Platform (v1).
gerritbot added a comment.Oct 11 2022, 10:42 AM

Change 841466 had a related patch set uploaded (by Jakob; author: Jakob):

[mediawiki/extensions/Wikibase@master] REST: Add and lint native property type hints

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

gerritbot added a project: Patch-For-Review.Oct 11 2022, 10:42 AM
gerritbot added a comment.Oct 11 2022, 10:55 AM

Change 841469 had a related patch set uploaded (by Jakob; author: Jakob):

[mediawiki/extensions/Wikibase@master] REST: Prettify code using arrow functions

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

Jakob_WMDE claimed this task.Oct 11 2022, 12:24 PM
Jakob_WMDE moved this task from To Do to Doing on the Wikibase Product Platform (v1) (Sprint 15) board.
gerritbot added a comment.Oct 11 2022, 2:55 PM

Change 841470 had a related patch set uploaded (by Jakob; author: Jakob):

[mediawiki/extensions/Wikibase@master] Bump mediawiki/mediawiki-phan-config to 0.12.0

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

gerritbot added a comment.Oct 12 2022, 10:33 AM

Change 841470 merged by jenkins-bot:

[mediawiki/extensions/Wikibase@master] Bump mediawiki/mediawiki-phan-config to 0.12.0

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

gerritbot added a comment.Oct 12 2022, 10:35 AM

Change 841469 merged by jenkins-bot:

[mediawiki/extensions/Wikibase@master] REST: Prettify code using arrow functions

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

ReleaseTaggerBot added a project: MW-1.40-notes (1.40.0-wmf.6; 2022-10-17).Oct 12 2022, 11:00 AM
Jakob_WMDE moved this task from Doing to Peer Review on the Wikibase Product Platform (v1) (Sprint 15) board.Oct 13 2022, 9:04 AM
gerritbot added a comment.Oct 13 2022, 3:31 PM

Change 841466 merged by jenkins-bot:

[mediawiki/extensions/Wikibase@master] REST: Add and lint native property type hints

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

Jakob_WMDE moved this task from Peer Review to Done on the Wikibase Product Platform (v1) (Sprint 15) board.Oct 13 2022, 3:32 PM
Maintenance_bot removed a project: Patch-For-Review.Oct 13 2022, 4:29 PM
WMDE-leszek closed this task as Resolved.Dec 1 2022, 8:53 PM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL