wam: Not the right time of day to write Python

wesnoth · Jul 25, 2017 · 23df35f · 23df35f
1 parent 9cb25b7
commit 23df35f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/tools/addon_manager/html.py b/data/tools/addon_manager/html.py
@@ -16,7 +16,7 @@ def w(x):
     if server_name == "1.9":
         # 1.9 became the 1.10 add-ons server. Reflect that here.
         server_name = "1.10"
-    else if server_name == "trunk":
+    elif server_name == "trunk":
         server_name = "Testing (Trunk)"
     w("""\
 <!DOCTYPE html>