export declare module EventConstant { const AchievementEarned = "AchievementEarned"; const BattleRankUp = "BattleRankUp"; const Death = "Death"; const ItemAdded = "ItemAdded"; const SkillAdded = "SkillAdded"; const VehicleDestroy = "VehicleDestroy"; const GainExperience = "GainExperience"; const PlayerFacilityCapture = "PlayerFacilityCapture"; const PlayerFacilityDefend = "PlayerFacilityDefend"; const ContinentLock = "ContinentLock"; const ContinentUnlock = "ContinentUnlock"; const FacilityControl = "FacilityControl"; const MetagameEvent = "MetagameEvent"; const PlayerLogin = "PlayerLogin"; const PlayerLogout = "PlayerLogout"; function toGainExperienceEventFilter(ids: number[]): string[]; const WorldId: { [worldName: string]: string; }; function convertWorldName2Id(names: string[]): string[]; }