a php extension that adds extra features to the serialize method