Add php lint check to gitlab-ci.
The check php lint not check 'example_badcode.php' because the code must be bad for example

Closes #5692

Signed-off-by: Jonathan Swaelens <swaelens.jonathan@opensides.be>