pipeline status coverage report


To run this tool localy, you will need:

Mongodb server

sudo apt-get install mongodb

On Ubuntu 16.04, this will install mongodb version 2.6 by default.

To check your mongodb server is correctly running:

sudo service mongodb status


The extension mongodb-1.4.4 (see below) is compatible with PHP 7.2 or older (thus NOT with PHP 7.3).

If you try with PHP7.3, you will encounter errors like

PHP symbol lookup error: /usr/lib/php/20180731/ undefined symbol: ZEND_HASH_GET_APPLY_COUNT

You can find the complete compatibility matrix at


sudo apt-get install php7.2-dev php-pear

Mongodb PHP extension

You will need mongodb-1.4.4:

sudo pecl install mongodb-1.4.4

To check if the correct version of mongodb extension is installed:

sudo pecl list

You will need php7.2-mbstring:

sudo apt-get install php7.2-mbstring

Edit php.ini (PHP configuration file) :

vim /etc/php/7.2/cli/php.ini 

In the dynamic extensions section, insert the following line :;

And to check that the extension is actually enabled and used by php:

php -i | grep mongo


In the monitoring directory :

composer install
touch storage/app/db.sqlite
cp .env
php artisan migrate
php artisan key:generate

To check your installation is correct, you can run the phpunit tests:

sudo apt-get install php-dom


npm install
npm run watch

Launch monitoring

php artisan serve

Then, see your monitoring interface at

Check this project on GitLab