miscellaneous HTTP utilities for PHP
