Dynamically generate a heading for Extension Docs API pages

chrome/common/extensions/api/dial.idl

 // Copyright (c) 2012 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.
 
 // An API for discovery of devices that support DIAL.
 // Protocol specification: http://www.dial-multiscreen.org/
 //
 // The API is backed by a service that multicasts discovery requests on the
 // local network to discover DIAL-capable devices and maintains a list of
 // devices that have responded.  Adding an onDeviceList listener causes the
@@ skipping 11 matching lines @@
 // chrome.dial.onDeviceList.addListener(function (list) { updateMenu(list); });
 // chrome.dial.discoverNow();
 // (Remember to remove the listener when the menu closes.)
 //
 // Background use (updates only when periodic polling happens):
 // var myList;
 // chrome.dial.onDeviceList.addListener(function (list) { myList = list; });
 //
 // These can be combined to poll for devices to prime the device menu, then
 // refresh the menu when it is displayed.
-
 namespace dial {
 
   // Represents a unique device that responded to a DIAL discovery request.
   dictionary DialDevice {
 
     // A label identifying the device within this instance of the browser.
     // Not guaranteed to persist beyond browser instances.
     DOMString deviceLabel;
 
     // A URL pointing to the device description resource for the device.
@@ skipping 38 matching lines @@
     // (2) A client invoked discoverNow().
     // (3) An event happened that should invalidate the device list
     //     (e.g., a network interface went offline), in which case it is fired
     //     with an empty array.
     static void onDeviceList(DialDevice[] result);
 
     // Event fired to inform clients on errors during device discovery.
     static void onError(DialError error);
   };
 };