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