udev_device_new_from_devnum(index.php) - phpMan