HomePhabricator

Change PHP type of enumerations from int to string

Description

Change PHP type of enumerations from int to string

This fits in better with the typical uses WebIDL makes of enumeration
types.

Change-Id: If21118159cf6a3c9fd45367837480a714d20006d

Details

Provenance
cscottAuthored on Jun 12 2021, 1:15 AM
Parents
rMLIDeda0162b790b: Add {Global,DocumentAndElement,Window}EventHandlers
Branches
Unknown
Tags
Unknown
References
refs/changes/76/699476/1
ChangeId
If21118159cf6a3c9fd45367837480a714d20006d