Fix some type hints

bookmarks/type_defs.py

@@ -0,0 +1,14 @@
+"""
+Stuff in here is only used for type hints
+"""
+
+from django import http
+from django.contrib.auth.models import AnonymousUser
+
+from bookmarks.models import GlobalSettings, UserProfile, User
+
+
+class HttpRequest(http.HttpRequest):
+    global_settings: GlobalSettings
+    user_profile: UserProfile
+    user: User | AnonymousUser