udev_device_get_properties_list_entry(index.php) - phpMan