Slightly reduce pollution of PHP namespace