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