WebKit2.WebView.prototype.get_page_id

function get_page_id(): Number(guint64) {
    // Gjs wrapper for webkit_web_view_get_page_id()
}