message: Arab name of Petra: Al-Battra
diff: @@ -4086,6 +4086,7 @@ dIdentifiers = {
  "Little Chute" : "La Petite Chute",
  "Lahore" : "Lahore",
  "Lavapuri" : "Lahore",
  + "Luhawar" : "Lahore",
  "Lanzhou" : "Lanzhou",
  "Ranshuu" : "Lanzhou",
  "Ryangju" : "Lanzhou",
  @@ -4523,6 +4524,8 @@ dIdentifiers = {
  "Per-Wadjet" : "Per-Wadjet",
  "Peshawar" : "Peshawar",
  "Purushapura" : "Peshawar",
  + "Al-Battra" : "Petra",
  + "Petra" : "Petra",
  "Filadelfia" : "Philadelphia",
  "Fort Beversreede" : "Philadelphia",
  "Philadelphia" : "Philadelphia",
  @@ -5491,6 +5494,7 @@ tRenames = (
  "Amunia" : "Paraitonion",
  "Pathragada" : "Pasargadae",
  "Parsa" : "Persepolis",
  + "Petra" : "Petra",
  "Poseidonia" : "Poseidonia",
  "Ragha" : "Rhagae",
  "Sardis" : "Sardeis",
  @@ -5626,6 +5630,7 @@ tRenames = (
  "Palermo" : "Panormus",
  "Amunia" : "Paraetonium",
  "Pelusion" : "Pelusium",
  + "Petra" : "Petra",
  "Pamplona" : "Pompaelo",
  "Pompeii" : "Pompeii",
  "Oporto" : "Portus Cale",
  @@ -5965,6 +5970,7 @@ tRenames = (
  "Akhenaten" : "Al-'Amarna",
  "Akabe" : "Al-Aqabah",
  "Basra" : "Al-Basrah",
  + "Petra" : "Al-Battra",
  "Venezia" : "Al-Bundukiyya",
  "Hurgada" : "Al-Ghardaqah",
  "Hartum" : "Al-Hartum",
  @@ -6025,6 +6031,7 @@ tRenames = (
  "Ikonion" : "Konya",
  "Kyiv" : "Kuyaba",
  "Leptis Magna" : "Libdeh Al-Kubra",
  + "Lahore" : "Luhawar",
  "Madinah" : "Madinah",
  "Makkah" : "Makkah",
  "M&#225;laga" : "Malaqah",
  