--TEST--
Test whether ext-ioctl is loaded.
--FILE--
<?php
if (!extension_loaded('ioctl'))
    echo 'Extension ioctl is not loaded.', PHP_EOL;
?>
--EXPECT--