(function($) {
   window.hasAceTheme = true;
})(jQuery || django.jQuery);