request_extension


Description:

[ Version ( since = "1.20" ) ]
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 ext_id, or null