Supporting newer version of PHP