diff --git a/lib/weblib.php b/lib/weblib.php
index b2f2c8b0214..ab1c1cef83c 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -5999,13 +5999,6 @@ function emoticonhelpbutton($form, $field, $return = false) {
     }
 }
 
-/**
- * Print a button to toggle the html editor.
- */
-function editortogglebutton($id) {
-
-}
-
 /**
  * Print a help button.
  *