PHP Custom Types