correct usage of version_compare so JSON_PRETTY_PRINT works on pre php 5.4