portals library Null safety

Portals

https://wicg.github.io/portals/

Classes

HTMLPortalElement
PortalActivateEvent
PortalActivateEventInit
PortalActivateOptions
PortalHost