Set default enrolment plugin to manual if the previous default is not an interactive enrolment plugin

2006-03-14 03:02:12 +00:00
parent f182aaf1b5
commit cd9afe2ff6
3 changed files with 17 additions and 1 deletions
@@ -6,7 +6,7 @@
 // This is compared against the values stored in the database to determine
 // whether upgrades should be performed (see lib/db/*.php)

-   $version = 2006031000;  // YYYYMMDD = date
+   $version = 2006031400;  // YYYYMMDD = date
                           //       XY = increments within a single day

   $release = '1.6 development';    // Human-friendly version name