diff --git a/lib/db/mysql.php b/lib/db/mysql.php index 9d396c311a7..2d95ee664b1 100644 --- a/lib/db/mysql.php +++ b/lib/db/mysql.php @@ -385,10 +385,14 @@ function main_upgrade($oldversion=0) { if ($oldversion < 2003050902) { if (get_records("modules", "name", "pgassignment")) { - print_simple_box("Note: the pgassignment module will soon be deleted from CVS! Go to the new 'Manage Modules' page and DELETE IT from your system", "center", "50%", "$THEME->cellheading", "20", "noticebox"); + print_simple_box("Note: the pgassignment module has been removed (it will be replaced later by the workshop module). Go to the new 'Manage Modules' page and DELETE IT from your system", "center", "50%", "$THEME->cellheading", "20", "noticebox"); } } + if ($oldversion < 2003051600) { + print_simple_box("Thanks for upgrading!

There are many changes since the last release. Please read the release notes carefully. If you are using CUSTOM themes you will need to edit them. You will also need to check your site's config.php file.", "center", "50%", "$THEME->cellheading", "20", "noticebox"); + } + return $result; } diff --git a/lib/db/postgres7.php b/lib/db/postgres7.php index b278921bfcc..8096f517bde 100644 --- a/lib/db/postgres7.php +++ b/lib/db/postgres7.php @@ -160,6 +160,10 @@ function main_upgrade($oldversion=0) { } } + if ($oldversion < 2003051600) { + print_simple_box("Thanks for upgrading!

There are many changes since the last release. Please read the release notes carefully. If you are using CUSTOM themes you will need to edit them. You will also need to check your site's config.php file.", "center", "50%", "$THEME->cellheading", "20", "noticebox"); + } + return $result; } ?>