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 ""; + echo "

Changes have been made to all built-in themes, to add the new popup navigation menu."; + echo "

If you have customised themes, you will need to edit theme/xxxx/header.html as follows:"; + echo "

"; + echo "

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