buttonmen-dev/buttonmen — pull request #1427 by cgolubi1 (2014-11-23 06:57:02+00:00)
Title: make recent phpunit available on jenkins, and install the monitoring extension on jenkins

Relevant to #1168

Jenkins (assuming it passes): http://jenkins.buttonweavers.com:8080/job/buttonmen-cgolubi1/392/console