[0001]
[0002]
[0003]
[0004]
[0005]
[0006]
[0007]
[0008]

// relies on the mapping rule
//
// if (http2:) map **/dotty.js */dotty2.js
//
function HTTP1or2 ()
{
   return 'HTTP/1.<i>n</i>';
}