Various PHP utility classes.