{
  "header": {
    "keys": [
      {
        "name": "server",
        "matchChars": [
          "*iis"
        ],
        "version_ext": [
          "str=str.replace('microsoft-iis/', '').replace('microsoft iis/', '').replace('microsoft iis', '').replace('iis ', '')",
          "str=/^[0-9]*$/.test(str.replace(/\\./g, ''))?str:''"
        ]
      }
    ]
  }
}