JSON Patch implementation for PHP