diff --git a/html.c b/html.c
index a60bc13..ae1cef9 100644
--- a/html.c
+++ b/html.c
@@ -211,6 +211,14 @@ void html_option(const char *value, const char *text, const char *selected_value
html("\n");
}
+void html_intoption(int value, const char *text, int selected_value)
+{
+ htmlf("");
+}
+
void html_link_open(const char *url, const char *title, const char *class)
{
html("