function createBanner(env) {
    return function (tagName, id, className) {
      return createElement({
        tagName:   tagName,
        id:        id,
        className: className,
        children:  [{
          tagName:   'div',
          className: 'logo',
          children:  [{
            tagName:     'span',
            className:   'title',
            innerHTML: 'Benchmark.js'
          }, {
            tagName:     'span',
            className:   'version',
            innerHTML: Benchmark.version
          }, {
            tagName:     'span',
            className:   'platform',
            innerHTML: '(' + Benchmark.platform + ')'
          }]
        }]
      });
    };
  }
// Creates the banner element at the top of the page.
Creates the banner element at the top of the page.
Creates the banner element at the top of the page .
function createBanner(env) {
    return function (tagName, id, className) {
      return createElement({
        tagName:   tagName,
        id:        id,
        className: className,
        children:  [{
          tagName:   'div',
          className: 'logo',
          children:  [{
            tagName:     'span',
            className:   'title',
            innerHTML: 'Benchmark.js'
          }, {
            tagName:     'span',
            className:   'version',
            innerHTML: Benchmark.version
          }, {
            tagName:     'span',
            className:   'platform',
            innerHTML: '(' + Benchmark.platform + ')'
          }]
        }]
      });
    };
  }
function createBanner ( env ) { return function ( tagName , id , className ) { return createElement ( { tagName : tagName , id : id , className : className , children : [ { tagName : 'div' , className : 'logo' , children : [ { tagName : 'span' , className : 'title' , innerHTML : 'Benchmark.js' } , { tagName : 'span' , className : 'version' , innerHTML : Benchmark . version } , { tagName : 'span' , className : 'platform' , innerHTML : '(' + Benchmark . platform + ')' } ] } ] } ) ; } ; }
Creates the banner element at the top of the page.
Creates the banner element at the top of the page .