portal typedef

portal = Portal

HTML's portal tag(Portal).

Implementation

typedef portal = Portal;