Commit f31d5f37 authored Jan 10, 2019 by Pietro Saccardi

Manually installing phpunit.

PHP default image prevents the installation via apt.

parent 713b3b92