portico: Add translations bundle to portico pages.

templates/zerver/portico.html

@@ -8,6 +8,7 @@
 
 {% block customhead %}
 {% stylesheet 'portico' %}
+{{ render_bundle('translations') }}
 {% endblock %}
 
 {% block content %}

tools/linter_lib/custom_check.py

@@ -154,9 +154,6 @@ def build_custom_checkers(by_lang):
                          'frontend_tests/node_tests',
                          'static/js/debug.js']),
          'description': 'console.log and similar should not be used in webapp'},
-        {'pattern': 'i18n[.]t',
-         'include_only': set(['static/js/portico/']),
-         'description': 'i18n.t is not available in portico pages yet'},
         {'pattern': '[.]text\(["\'][a-zA-Z]',
          'description': 'Strings passed to $().text should be wrapped in i18n.t() for internationalization'},
         {'pattern': 'compose_error\(["\']',