return str_replace('Email', 'E-mail', $str);
}
+# This function makes sure that $str is in the list of options, and returns "" otherwise
+function format_options($str, $name) {
+ if(!isset($GLOBALS[$name . '_options'])) {
+ die("Couldn't find options for \"$name\". Be sure to call pulldown().");
+ }
+
+ foreach($GLOBALS[$name . '_options']['options'] as $keyval) {
+ list($key, $value) = $keyval;
+ if($str == $key) {
+ return $str;
+ }
+ }
+
+ return '';
+}
+
function format_int($str) {
$str = ereg_replace('[^0-9]', '', $str);
return ereg_replace('^0*([0-9])', '\1', $str);