make sure web console displays and hides usefully (even on 17)

[themes.git] / origdiff

diff --git a/origdiff b/origdiff
index a32d6433fc5f9a60f777f6a3bd9026cea1e4f4c4..725f57f9a74c9b74db08ed828fb52d4e15868ec1 100755 (executable)
--- a/origdiff
+++ b/origdiff
@@ -6,15 +6,15 @@ SCRIPT_DIR=$(pwd)
 
 # ============ vars specific to the versions ==============
 
-NAME_PRE=12
-NAME_POST=13
+NAME_PRE=14
+NAME_POST=15
 
-TAG_PRE_COMM=BETA_12_END
-TAG_POST_COMM=tip #BETA_13_END
-TAG_PRE_MOZ=FIREFOX_BETA_12_END
-TAG_POST_MOZ=tip #FIREFOX_BETA_13_END
-TAG_PRE_EXT=SEAMONKEY_2_9_RELEASE
-TAG_POST_EXT=tip #SEAMONKEY_2_10_RELEASE
+TAG_PRE_COMM=BETA_14_END
+TAG_POST_COMM=tip #BETA_15_END
+TAG_PRE_MOZ=FIREFOX_BETA_14_END
+TAG_POST_MOZ=tip #FIREFOX_BETA_15_END
+TAG_PRE_EXT=SEAMONKEY_2_11_RELEASE
+TAG_POST_EXT=tip #SEAMONKEY_2_12_RELEASE
 
 # ===================== process repos =====================