add resolver link

dmoj/urls.py

@@ -1099,7 +1099,7 @@ urlpatterns = [
             ]
         ),
     ),
-    url(r"^resolver/", resolver.resolver, name="resolver"),
+    url(r"^resolver/(?P<contest>\w+)",resolver.resolver, name="resolver")
 ] + url_static(settings.MEDIA_URL, document_root=settings.MEDIA_ROOT)
 
 # if hasattr(settings, "INTERNAL_IPS"):

judge/views/resolver.py

@@ -1,12 +1,15 @@
 from django.shortcuts import render
 from django.utils.translation import gettext as _
-
+from django.http import HttpResponseForbidden
 
 def resolver(request):
-    return render(
-        request,
-        "resolver/resolver.html",
-        {
-            "title": _("Resolver"),
-        },
-    )
+    if request.user.is_superuser:
+        return render(
+            request,
+            "resolver/resolver.html",
+            {
+                "title": _("Resolver"),
+            },
+        )
+    return HttpResponseForbidden()
+    

templates/contest/contest-tabs.html

@@ -22,6 +22,9 @@
             {{ make_tab_item('ranking', 'fa fa-bar-chart', None, _('Hidden Rankings')) }}
         {% endif %}
     {% endif %}
+    {% if request.user.is_superuser %}
+    {{ make_tab_item('resolver', 'fa fa-check', url('resolver', contest.key), _('Resolver')) }}
+    {% endif %}
     {% if can_edit %}
         {% if perms.judge.moss_contest and has_moss_api_key %}
             {{ make_tab_item('moss', 'fa fa-gavel', url('contest_moss', contest.key), _('MOSS')) }}