More diff page improvements

Tom

2014-10-28 f0ebfe6152959fda74bf7a5436bd765a0a231f6b

 src/main/java/com/gitblit/manager/IManager.java

@@ -17,8 +17,20 @@

public interface IManager {

   /**
    * Start the manager.
    *
    * @return the manager
     * @since 1.4.0
    */
   IManager start();

   /**
    * Stop the manager.
    *
    * @return the manager
     * @since 1.4.0
    */
   IManager stop();

}