udev_device_get_property_value(category30-tips-tricks-fragen.html) - phpMan