JSOG encoding for PHP