php-jsonc: Obsoleted by php-json