Php71fix

Laurent requested to merge php71fix into hotline-master

Merge request reports