Specify the version number as a string, to avoid having PHP

truncate it to "9" in some URLs. It still compares fine in
the SQL queries and range comparisons, because it'll
automatically get converted to a decimal number when used
as such.

git-svn-id: file:///Users/dpage/pgweb/svn-repo/trunk@2779 8f5c7a92-453e-0410-a47f-ad33c8a6b003

diff --git a/portal/system/global/settings.php b/portal/system/global/settings.php
index a8ddf323c65403dc68c37da4fc44585c115a4c80..c019f42c5ed8133f354566d3e827745b26e554e2 100644 (file)
--- a/portal/system/global/settings.php
+++ b/portal/system/global/settings.php
@@ -14,7 +14,7 @@ $_SETTINGS['masterserver'] = "http://wwwmaster.postgresql.org";
 $_SETTINGS['defaultlanguage'] = "en";
 $_SETTINGS['notifymail'] = "pgsql-slavestothewww@postgresql.org";
 $_SETTINGS['bugsmail'] = "pgsql-bugs@postgresql.org";
-$_SETTINGS['current_docs_version'] = 9.0;
+$_SETTINGS['current_docs_version'] = '9.0';
 $_SETTINGS['beta_docs_version'] = 9.1;
 $_SETTINGS['ftp_root'] = "/home/ftp/";