Change Details

This extension was deprecated in PHP 5.5.0 and removed in PHP 7.0.0. Given the requirement of PHP 7.2, it makes no sense to support this extension. Closes T15989

This extension was deprecated in PHP 5.5.0 and removed in PHP 7.0.0. Given the requirement of PHP 7.2, it makes no sense to support this extension. Closes T16024

This extension was deprecated in PHP 5.5.0 and removed in PHP 7.0.0. Given the requirement of PHP 7.2, it makes no sense to support this extension. Closes T159896024