request_extension
Description:
[ Version ( since = "1.20" ) ]
public signal HeaderExtension? request_extension (uint ext_id, string ext_uri)
public signal HeaderExtension? request_extension (uint ext_id, string ext_uri)
The returned ext
must be configured with the correct ext_id
and with the necessary attributes as required by the
extension implementation.
Parameters:
ext_id |
the extension id being requested |
ext_uri |
the extension URI being requested |
Returns:
the HeaderExtension for |