diff --git a/lib/adminlib.php b/lib/adminlib.php
index 181be2503f6..51c600b4429 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -5930,7 +5930,7 @@ class admin_setting_managewsprotocols extends admin_setting {
      * @return string XHTML
      */
     public function output_html($data, $query='') {
-        global $CFG;
+        global $CFG, $OUTPUT;
 
         $namestr = get_string('name');
         $settingsstr = get_string('settings');