diff --git a/user/edit.php b/user/edit.php
index 9099265a9ec..8dbfca0a7bd 100644
--- a/user/edit.php
+++ b/user/edit.php
@@ -12,6 +12,8 @@
         $id = $USER->id;
     }
 
+    httpsrequired(); // HTTPS is potentially required in this page
+
     if (! $user = get_record("user", "id", $id)) {
         error("User ID was incorrect");
     }