Deprecated extensions implemented in PHP.