Maniphest T76835

Add Vagrant role for GlobalPreferences
Closed, ResolvedPublic2 Estimated Story Points
Actions

Assigned To

Authored By

	• Prtksxna
	Dec 5 2014, 5:47 AM

Tags

Referenced Files

None

Subscribers

Details

	Subject	Repo	Branch	Lines +/-
	Add role for GlobalPreferences	mediawiki/vagrant	master	+24 -0

Customize query in gerrit

Related Objects

Mentioned In: T166430: GlobalPreferences causes infinite loop when loading user options (and caching disabled)

Event Timeline

• Prtksxna created this task.Dec 5 2014, 5:47 AM

• Prtksxna claimed this task.

• Prtksxna raised the priority of this task from to Medium.

• Prtksxna updated the task description. (Show Details)

• Prtksxna changed Security from none to None.

• Prtksxna added a project: MediaWiki-extensions-GlobalPreferences.

• Prtksxna subscribed.

Change 178138 had a related patch set uploaded (by Prtksxna):
Add role for GlobalPreferences

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

Patch-For-Review

Change 178138 abandoned by Prtksxna:
Add role for GlobalPreferences

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

• Prtksxna removed • Prtksxna as the assignee of this task.Jan 14 2016, 1:23 AM

• Prtksxna removed a project: Patch-For-Review.

Mainframe98 mentioned this in T166430: GlobalPreferences causes infinite loop when loading user options (and caching disabled).May 27 2017, 1:15 PM

TerraCodes subscribed.Jul 17 2017, 12:57 AM

Change 178138 restored by MaxSem:
Add role for GlobalPreferences

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

MaxSem claimed this task.Jul 29 2017, 6:14 AM

MaxSem added a project: Community-Tech-Sprint.

kaldari moved this task from Ready to Needs Review/Feedback on the Community-Tech-Sprint board.Aug 2 2017, 12:00 AM

kaldari set the point value for this task to 2.

kaldari closed this task as Resolved.Aug 16 2017, 9:25 PM

kaldari moved this task from Needs Review/Feedback to Q1 2018-19 on the Community-Tech-Sprint board.

Change 178138 merged by jenkins-bot:
[mediawiki/vagrant@master] Add role for GlobalPreferences

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

• DannyH removed a project: Community-Tech-Sprint.Aug 17 2017, 10:38 PM

• DannyH added a project: Community-Tech.

• DannyH moved this task from New & TBD Tickets to Archive on the Community-Tech board.Aug 17 2017, 10:40 PM