Rename 'json-patch-php'