From: Jason Woofenden <jason@jasonwoof.com>
Date: Mon, 25 Apr 2011 05:22:38 +0000 (-0400)
Subject: API CHANGE: removed format_options() (unused?)
X-Git-Url: https://jasonwoof.com/gitweb/?p=wfpl.git;a=commitdiff_plain;h=cd68b6037f8558fd98e07486282e2a25f9c4626b

API CHANGE: removed format_options() (unused?)

This was used it obsolete unit tests.

There is now a very similar function enc_pulled()
---

diff --git a/format.php b/format.php
index a6b0582..0fbc88f 100644
--- a/format.php
+++ b/format.php
@@ -24,22 +24,6 @@ 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);