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

This website uses cookies. More information about the use of cookies is available in the cookies policy.