docs: function PushManager(node, options) {
  
          /**
           * ### PushManager.node
           *
           * Reference to a nodegame-client instance
           */
          this.node = node;
  
          /**
           * ### PushManager.timer
           *
           * The timer object that will fire the checking of clients
           *
           * The timer will be created only if needed.
           *
           * @see PushManager.startTimer
           */
          this.timer = null;
  
          /**
           * ### PushManager.offsetWaitTime
           *
           * Time that is always added to the timer value of
           *
           * @see PushManager.startTimer
           */
          this.offsetWaitTime = PushManager.offsetWaitTime;
  
          /**
           * ### PushManager.replyWaitTime
           *
           * Time to wait to get a reply from a pushed client
           *
           * @see PushManager.pushGame
           */
          this.replyWaitTime = PushManager.replyWaitTime;
  
          /**
           * ### PushManager.checkPushWaitTime
           *
           * Time to wait to check if a pushed client updated its state
           *
           * @see PushManager.pushGame
           */
          this.checkPushWaitTime = PushManager.checkPushWaitTime;
  
          this.init(options);
      }