Define WebFM API in webidl