Added repository counts to filters menu

James Moger

2011-12-26 a22eb4f5fdf2adeef9d7f9bfa0a72736ef4b0b5c

 src/com/gitblit/client/GitblitClient.java

@@ -183,6 +183,13 @@
      }

   }



   public List<String> getAvailableScripts() {

      if (settings.pushScripts == null) {

         return new ArrayList<String>();

      }

      return settings.pushScripts;

   }



   public ServerSettings getSettings() {

      return settings;

   }