From 924eedbb0b24079e21d6b80005c4330d6f1c8c0f Mon Sep 17 00:00:00 2001 From: Jason Woofenden Date: Tue, 24 May 2011 06:11:58 -0400 Subject: [PATCH] Revert "API CHANGE: removed format_options()" This reverts commit cd68b6037f8558fd98e07486282e2a25f9c4626b. --- format.php | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/format.php b/format.php index 0fbc88f..a6b0582 100644 --- a/format.php +++ b/format.php @@ -24,6 +24,22 @@ function format_caption($str) { 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); -- 1.7.10.4