udev_device_get_property_value(pdf.php) - phpMan