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