Page MenuHomePhabricator
Create Task
Maniphest T87794

Create MediaWiki-Vagrant role for 'Score' extension
Closed, ResolvedPublic
Actions

Description

The Score extension requires GNU LilyPond to do backend rendering. For testing and development, it would be nice to have a Vagrant role that installs the dependencies and the extension together.

Details

ProjectBranchLines +/-Subject
mediawiki/vagrantmaster+17 -0Add MediaWiki-Vagrant role for 'Score' extension
Customize query in gerrit

Related Objects
Search...

Event Timeline

brion created this task.Jan 28 2015, 8:10 PM
brion raised the priority of this task from to Needs Triage.
brion updated the task description. (Show Details)
brion added a project: MediaWiki-Vagrant.
brion added a subscriber: brion.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJan 28 2015, 8:10 PM
gerritbot added a project: Patch-For-Review.Jan 28 2015, 8:47 PM
gerritbot added a subscriber: gerritbot.

Change 187176 had a related patch set uploaded (by Brion VIBBER):
Add MediaWiki-Vagrant role for 'Score' extension

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

Patch-For-Review

Tgr merged a task: T87089: Create vagrant role for Score extension.Jan 30 2015, 3:51 AM
Tgr added a subscriber: Tgr.
Tgr added a parent task: T88072: All multimedia extensions/systems should have a MW-Vagrant role.Jan 30 2015, 3:53 AM
gerritbot added a comment.Feb 3 2015, 5:01 PM

Change 187176 merged by jenkins-bot:
Add MediaWiki-Vagrant role for 'Score' extension

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

brion closed this task as Resolved.Feb 5 2015, 7:46 PM
brion claimed this task.

merged

• bd808 moved this task from Backlog to Done on the MediaWiki-Vagrant board.Feb 26 2015, 12:51 AM
Jdforrester-WMF removed a project: Patch-For-Review.Mar 3 2015, 5:27 PM
• bd808 mentioned this in rMWVA1fedfe0396fb: Add MediaWiki-Vagrant role for 'Score' extension.Mar 3 2015, 7:49 PM
Content licensed under Creative Commons Attribution-ShareAlike 3.0 (CC-BY-SA) unless otherwise noted; code licensed under GNU General Public License (GPL) or 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