Fix php-52 obsoletions