text: // Copyright 2020 The Chromium Authors. All rights reserved.
  // Use of this source code is governed by a BSD-style license that can be
  // found in the LICENSE file.
  
  /** @fileoverview Concatenation of the JS files we use in app.html. */
  
  // <include src="../../system_apps/public/js/message_pipe.js">
  // <include src="message_types.js">
  // <include src="receiver.js">
  