{
  "source": "scheduler.js",
  "method": "pauseTimer",
  "input-schema": {
    "type": "object",
    "additionalProperties": false,
    "properties" : {
      "label": {
        "type": "string",
        "description": "Specify the label of the timer that should be paused.",
        "required": true
      }
    }
  },
  "output-schema": {
    "type": "object",
    "success": {
      "type": "boolean",
      "required": true
    }
  },
  "meta": {
    "name": "pauseTimer",
    "description": "Pause the specified timer. A paused timer can be resumed later using the module resumeTimer."
  }
}