php-jsonc: Obsoleted by php-json

AltStyle によって変換されたページ (->オリジナル) /