Create MediaWiki-Vagrant role for a MediaWiki extension

Wikimedia

MediaWiki-Vagrant is a development environment for MediaWiki - a set of scripts to build a virtual machine, install MediaWiki on it and configure various extensions and other options.

Extensions are added by enabling roles; a role corresponds to a simple Puppet script - a declarative description about the state of the virtual machine. The task is to add a role for an extension that does not have one yet. Some suggestions are listed below but you can pick any other extension that works with the current version of MediaWiki.

Familiarity with Puppet or Vagrant is NOT required for this task; you can pick it up as you go, from the MediaWiki-Vagrant documentation and by looking at existing roles.

Requirements

create a task in Wikimedia's bug tracker for the specific extension you are writing a role for
submit a patch for the mediawiki/vagrant repository in Gerrit containing the actual role
- roles should contain documentation (this is a good example; you can use RDoc markup for links etc).
- if the functionality of the extension can be well demonstrated on a wiki page, add such a demo page to the role (example)
after the patch is merged, add the role name to the wiki page of the extension (example)

Some extensions you can pick

Task tags

puppet
vagrant

Students who completed this task

neonowy, mhutti1

Task type

Code

Level

Beginner