PHP JSON extension with a new parser