From 3635d82ff352437577367b7b52be54c7f004e14a Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 11 Nov 2002 08:25:41 +0000
Subject: [PATCH] Updated version for final release of 1.0.6.2

---
 lib/db/mysql.php | 11 +++++++++++
 version.php      |  4 ++--
 2 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/lib/db/mysql.php b/lib/db/mysql.php
index 3801e236c43..9ffedfe4bf8 100644
--- a/lib/db/mysql.php
+++ b/lib/db/mysql.php
@@ -182,6 +182,17 @@ function main_upgrade($oldversion=0) {
         }
     }
 
+    if ($oldversion < 2002111100) {
+        print_simple_box_start("CENTER", "", "#FFCCCC");
+        echo "<FONT SIZE=+1>";
+        echo "<P>Changes have been made to all built-in themes, to add the new popup navigation menu.";
+        echo "<P>If you have customised themes, you will need to edit theme/xxxx/header.html as follows:";
+        echo "<UL><LI>Change anywhere it says <B>$"."button</B> to say <B>$"."menu</B>";
+        echo "<LI>Add <B>$"."button</B> elsewhere (eg at the end of the navigation bar)</UL>";
+        echo "<P>See the standard themes for examples, eg: theme/standard/header.html";
+        print_simple_box_end();
+    }
+
 
     return true;
 }
diff --git a/version.php b/version.php
index f7100b05017..78ffb75a0f8 100644
--- a/version.php
+++ b/version.php
@@ -5,7 +5,7 @@
 // database to determine whether upgrades should
 // be performed (see lib/db/*.php)
 
-$version = 2002111004;   // The current version is a date (YYYYMMDDXX)
+$version = 2002111100;   // The current version is a date (YYYYMMDDXX)
 
-$release = "1.0.6.2 beta";  // User-friendly version number
+$release = "1.0.6.2";  // User-friendly version number