Load prettify's lang-*.js extentions.

Kensuke Matsuzaki

2013-04-15 ed566a162c780faa0d6c84fac8fbbd3738586445

 src/main/java/com/gitblit/JsonServlet.java

@@ -123,6 +123,7 @@
         // Send JSON response

         String json = JsonUtils.toJsonString(o);

         response.setCharacterEncoding(Constants.ENCODING);

         response.setContentType("application/json");

         response.getWriter().append(json);

      }

   }