udev_device_get_property_value(phpman.html) - phpMan