udev_device_get_is_initialized(category24-kurz-tips.html) - phpMan