Revert "API CHANGE: removed format_options()"

This reverts commit cd68b6037f8558fd98e07486282e2a25f9c4626b.

diff --git a/format.php b/format.php
index 0fbc88f..a6b0582 100644 (file)
--- 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);