ui: user_detail: add user banned hint

packages/ui-default/templates/user_detail.html

@@ -32,6 +32,9 @@
               {% endif %}
               </p>
               <p>{{ _('Solved {0} problems, RP: {1} (No. {2})').format(udoc.nAccept|default(0), udoc['rp']|default(0.0)|round(2), udoc['rank']|default('?')) }}</p>
+              {% if not udoc.hasPriv(PRIV.PRIV_USER_PROFILE) %}
+                <p>{{ _('This user was banned.') }}</p>
+              {% endif %}
               <div class="profile-header__contact-bar">
               {% if isSelfProfile %}
                 <a class="profile-header__contact-item" href="{{ url('home_settings', category='account') }}" data-tooltip="{{ _('Edit Profile') }}">