php2json (pypi): Convert PHP serializer strings to JSON
Keywords: performance|php|python|serialization