Now glossaries are included too.

And backup filename is editable.

diff --git a/backup/version.php b/backup/version.php
index 756df199f87eed4b743618ac1a1a560c36a5db18..6932375935831c7cc4ddd581baa50726a7de6ed6 100644 (file)
--- a/backup/version.php
+++ b/backup/version.php
@@ -5,6 +5,6 @@
 // database (backup_version) to determine whether upgrades should
 // be performed (see db/backup_*.php)
 
-$backup_version = 2003091400;   // The current version is a date (YYYYMMDDXX)
+$backup_version = 2003091800;   // The current version is a date (YYYYMMDDXX)
 
 $backup_release = "1.2 development";  // User-friendly version number