old_contents: #!/usr/bin/env python
  #
  # Copyright (C) 2011 Google Inc. All rights reserved.
  #
  # Redistribution and use in source and binary forms, with or without
  # modification, are permitted provided that the following conditions are
  # met:
  #
  #         * Redistributions of source code must retain the above copyright
  # notice, this list of conditions and the following disclaimer.
  #         * Redistributions in binary form must reproduce the above
  # copyright notice, this list of conditions and the following disclaimer
  # in the documentation and/or other materials provided with the
  # distribution.
  #         * Neither the name of Google Inc. nor the names of its
  # contributors may be used to endorse or promote products derived from
  # this software without specific prior written permission.
  #
  # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  # "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  # LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  # A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  # OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  # SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  # LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  #
  
  import sys
  
  
  def write_devtools_extension_api(output, input_names):
      output.write("""(function() {
      """)
      for input_name in input_names:
          input = open(input_name, 'r')
          output.write(input.read())
      output.write("""
          var tabId;
          var extensionInfo = {};
          platformExtensionAPI(injectedExtensionAPI("remote-" + window.parent.frames.length));
      })();""")
  
  
  def main(argv):
  
      if len(argv) < 3:
          print('usage: %s output_js input_files ...' % argv[0])
          return 1
  
      output_name = argv[1]
      output = open(output_name, 'w')
      write_devtools_extension_api(output, argv[2:])
      output.close()
  
  
  if __name__ == '__main__':
      sys.exit(main(sys.argv))
  
new_contents: #!/usr/bin/env python
  #
  # Copyright (C) 2011 Google Inc. All rights reserved.
  #
  # Redistribution and use in source and binary forms, with or without
  # modification, are permitted provided that the following conditions are
  # met:
  #
  #         * Redistributions of source code must retain the above copyright
  # notice, this list of conditions and the following disclaimer.
  #         * Redistributions in binary form must reproduce the above
  # copyright notice, this list of conditions and the following disclaimer
  # in the documentation and/or other materials provided with the
  # distribution.
  #         * Neither the name of Google Inc. nor the names of its
  # contributors may be used to endorse or promote products derived from
  # this software without specific prior written permission.
  #
  # THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  # "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  # LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  # A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  # OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  # SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  # LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  #
  
  import sys
  
  
  def write_devtools_extension_api(output, input_names):
      output.write("""(function() {
      """)
      for input_name in input_names:
          input = open(input_name, 'r')
          output.write(input.read())
      output.write("""
          var tabId;
          var extensionInfo = {};
          var extensionServer;
          platformExtensionAPI(injectedExtensionAPI("remote-" + window.parent.frames.length));
      })();""")
  
  
  def main(argv):
  
      if len(argv) < 3:
          print('usage: %s output_js input_files ...' % argv[0])
          return 1
  
      output_name = argv[1]
      output = open(output_name, 'w')
      write_devtools_extension_api(output, argv[2:])
      output.close()
  
  
  if __name__ == '__main__':
      sys.exit(main(sys.argv))
  
subject: Declare extensionServer for generated devtools_extension_api.js