diff --git a/lib/adminlib.php b/lib/adminlib.php
index 1ba84f9a7e5..35d61a800e7 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -2405,4 +2405,12 @@ function apply_default_exception_settings($defaults) {
 
 }
 
+function format_admin_setting($name, $title='', $form='', $description='') {
+    $output = '<div class="adminsetting">';
+    $output .= 'etc';
+    $output .= '</div>';
+
+    return $output;
+}
+
 ?>