[webdoc] Adapt to the new API in mono/master