Back-ported to PHP 5.3.3.