[SOLVED] Possible bug with PHP version setting

[dnutan (Marc)]

Thanks to the Les Trois Mousquetaires on this post (@capote for discovering the issue, @michelandre for hunting the bug further and @stephdl for taking care of fixing it).