Compatibility with PHP > 5.5