fix format_options() (it did nothing before)

diff --git a/format.php b/format.php
index 85a90a2..451ba21 100644 (file)
--- a/format.php
+++ b/format.php
@@ -37,7 +37,7 @@ function format_options($str, $name) {
                }
        }
 
-       return $str;
+       return '';
 }
 
 function format_int($str) {