Integrate admin menu into user menu and add user menu extension

James Moger

2014-04-22 859deba551b5e6850fb6331084493a402cecce45

 src/main/java/com/gitblit/transport/ssh/commands/SshCommand.java

@@ -85,5 +85,5 @@
      }
   }

   protected abstract void run() throws UnloggedFailure, Failure, Exception;
   protected abstract void run() throws Failure, Exception;
}