WebKit2.AuthenticationRequest.prototype.get_port

function get_port(): Number(guint) {
    // Gjs wrapper for webkit_authentication_request_get_port()
}