SettingsLoader: support ini-settings
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	daniel
	Nov 1 2021, 11:21 AM

Project Tags

Referenced Files

None

Subscribers

Aklapper

daniel

Description

SettingsLoader should support an "php-ini" key in settings files, which specify values to pass on to PHP's ini_set() method. This provides a way to control things like memory limits from settings files.

Details

Related Changes in Gerrit:

	Subject	Author	Repo	Branch	Lines +/-
	Introduce setting PHP_INI env configs via a settings source	D3r1ck01	mediawiki/core	master	+63 -5

Customize query in gerrit

Event Timeline

daniel created this task.Nov 1 2021, 11:21 AM

Herald added a subscriber: Aklapper. · View Herald TranscriptNov 1 2021, 11:21 AM

Change 741701 had a related patch set uploaded (by D3r1ck01; author: Derick Alangi):

[mediawiki/core@master] WIP Introduce PHP_INI settings via a settings source

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

gerritbot added a project: Patch-For-Review.Nov 24 2021, 4:21 PM

• DAlangi_WMF claimed this task.Nov 25 2021, 10:53 AM

• DAlangi_WMF moved this task from Todo to Doing on the MediaWiki-SettingsBuilder board.

Change 741701 merged by jenkins-bot:

[mediawiki/core@master] Introduce setting PHP_INI env configs via a settings source

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

ReleaseTaggerBot added a project: MW-1.38-notes (1.38.0-wmf.12; 2021-12-06).Nov 25 2021, 10:00 PM

Maintenance_bot removed a project: Patch-For-Review.Nov 25 2021, 10:10 PM

• Pchelolo moved this task from Doing to Done on the MediaWiki-SettingsBuilder board.Nov 29 2021, 9:05 PM

• DAlangi_WMF closed this task as Resolved.Feb 6 2023, 12:28 PM

SettingsLoader: support ini-settingsClosed, ResolvedPublicActions

Description

Details

Event Timeline

SettingsLoader: support ini-settings
Closed, ResolvedPublic
Actions