Maniphest T319186

Set the minimum_target_php_version to 7.4 now that MediaWiki master requires it
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Mainframe98
	Oct 3 2022, 11:55 AM

Description

It is still set to 7.2 in MW core's .phan/config.php.

Details

Other Assignee: Reedy

	Subject	Repo	Branch	Lines +/-
	.phan/config.php: Update minimum_target_php_version	mediawiki/core	REL1_39	+11 -4
	.phan/config.php: Update minimum_target_php_version	mediawiki/core	master	+11 -4

Customize query in gerrit

Event Timeline

Mainframe98 created this task.Oct 3 2022, 11:55 AM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 3 2022, 11:55 AM

Again; my local copy is outdated. This change has already been merged, the release has not yet been made.

MW core's .phan/config.php needs updating...

https://github.com/wikimedia/mediawiki/blob/2b9fd51/.phan/config.php#L23-L26

In T319186#8279376, @Reedy wrote:

MW core's .phan/config.php needs updating...

https://github.com/wikimedia/mediawiki/blob/2b9fd51/.phan/config.php#L23-L26

https://gerrit.wikimedia.org/r/c/mediawiki/core/+/837654

Lets see what breaks...

Mainframe98 reopened this task as Open.Oct 3 2022, 12:13 PM

Mainframe98 updated the task description. (Show Details)

taavi subscribed.Oct 3 2022, 12:50 PM

Reedy added a project: MediaWiki-General.Oct 3 2022, 2:45 PM

Change 837654 had a related patch set uploaded (by Reedy; author: Reedy):

[mediawiki/core@master] .phan/config.php: Update minimum_target_php_version

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

gerritbot added a project: Patch-For-Review.Oct 3 2022, 2:45 PM

Zabe subscribed.Oct 3 2022, 4:07 PM

Change 837654 merged by jenkins-bot: