MediaWiki-Vagrant role for FileAnnotations extension
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	• brion
	Oct 18 2016, 11:03 PM

Description

Would be nice to have a Vagrant role for installing FileAnnotations. Should be easy peasy. :) (Workaround: clone, add to LocalSettings.php, run composer manually.)

Details

	Subject	Repo	Branch	Lines +/-
	Add role for Extension:FileAnnotations	mediawiki/vagrant	master	+10 -0

Customize query in gerrit

Event Timeline

• brion created this task.Oct 18 2016, 11:03 PM

Restricted Application added a project: Multimedia. · View Herald TranscriptOct 18 2016, 11:03 PM

Restricted Application added a subscriber: Aklapper. · View Herald Transcript

Change 317032 had a related patch set uploaded (by Prtksxna):
Add role for Extension:FileAnnotations

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

Restricted Application added a subscriber: Matanya. · View Herald TranscriptOct 20 2016, 9:34 PM

gerritbot added a project: Patch-For-Review.Oct 20 2016, 9:34 PM

• Prtksxna moved this task from Untriaged to Needs code review on the Multimedia board.Oct 20 2016, 9:36 PM

MarkTraceur assigned this task to • Prtksxna.Dec 6 2016, 4:50 PM

MarkTraceur moved this task from Needs code review to Doing on the Multimedia board.

MarkTraceur triaged this task as Medium priority.Dec 8 2016, 4:59 PM

Change 317032 merged by jenkins-bot:
[mediawiki/vagrant@master] Add role for Extension:FileAnnotations

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

• Prtksxna closed this task as Resolved.Apr 24 2017, 9:38 AM

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

MediaWiki-Vagrant role for FileAnnotations extensionClosed, ResolvedPublicActions

Description

Details

Event Timeline

MediaWiki-Vagrant role for FileAnnotations extension
Closed, ResolvedPublic
Actions