Added supportpage as well, while I'm at it. MDL-10529

diff --git a/admin/settings/server.php b/admin/settings/server.php
index 3189ba1000901cfa5319e3eb4ba94eaf82c80507..facfb44b09eb0bdc17f9411cabc8f42632072fd1 100644 (file)
--- a/admin/settings/server.php
+++ b/admin/settings/server.php
@@ -56,6 +56,7 @@ $temp->add(new admin_setting_configselect('sitemailcharset', get_string('sitemai
 $temp->add(new admin_setting_configcheckbox('allowusermailcharset', get_string('allowusermailcharset', 'admin'), get_string('configallowusermailcharset', 'admin'), 0));
 $temp->add(new admin_setting_configtext('supportname', get_string('supportname', 'admin'), get_string('configsupportname', 'admin'), '', PARAM_NOTAGS));
 $temp->add(new admin_setting_configtext('supportemail', get_string('supportemail', 'admin'), get_string('configsupportemail', 'admin'), '', PARAM_NOTAGS));
+$temp->add(new admin_setting_configtext('supportpage', get_string('supportpage', 'admin'), get_string('configsupportpage', 'admin'), '', PARAM_URL));
 $ADMIN->add('server', $temp, 100);
 
 

diff --git a/version.php b/version.php
index af7355132d16f4f9e2721c6121a2e11ce541a35e..66bb6f77adf7673976e12d051cc9be35839b849c 100644 (file)
--- a/version.php
+++ b/version.php
@@ -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 = 2007080101;  // YYYYMMDD = date
+    $version = 2007080102;  // YYYYMMDD = date
                             //       XY = increments within a single day
 
     $release = '1.9 dev';   // Human-friendly version name