Merge branch 'remove/php-5-3' into 'master'
Passed
Erick Hitter
created pipeline for commit
6307c179
, finished
For master
1 minute 16 seconds, queued for 4 seconds