Page MenuHomePhabricator

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

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.

Event Timeline

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.
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

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

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

brion claimed this task.

merged