Editing: EnumTokenEmulator.php