Some php util class and function