From bda8d43a78a53956e11f0fc7c8243eba9413c104 Mon Sep 17 00:00:00 2001
From: martin
Date: Wed, 5 Jun 2002 05:37:55 +0000
Subject: [PATCH] Changes to user settings, now it matches the stored data
better
---
lib/db/mysql.sql | 1 +
lib/weblib.php | 10 ++++----
user/edit.html | 59 ++++++++++++++++++++++++++++++++++--------------
user/edit.php | 9 ++++++++
user/index.php | 5 +++-
user/view.php | 3 ++-
6 files changed, 64 insertions(+), 23 deletions(-)
diff --git a/lib/db/mysql.sql b/lib/db/mysql.sql
index b9e023138a..195d9fbc9b 100644
--- a/lib/db/mysql.sql
+++ b/lib/db/mysql.sql
@@ -153,6 +153,7 @@ CREATE TABLE user (
picture tinyint(1) default NULL,
url varchar(255) default NULL,
description text,
+ mailformat tinyint(1) unsigned NOT NULL default '1',
timemodified int(10) unsigned NOT NULL default '0',
PRIMARY KEY (id),
UNIQUE KEY username (username),
diff --git a/lib/weblib.php b/lib/weblib.php
index b21dc31e66..0a695c8652 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -170,11 +170,13 @@ function choose_from_menu ($options, $name, $selected="", $nothing="Choose...",
$javascript = "onChange=\"$script\"";
}
echo "
-