Dynamically generate a heading for Extension Docs API pages

chrome/common/extensions/api/push_messaging.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.
 
+// Use <code>chrome.pushMessaging</code> to send message data
+// to app or extension users.
+
 namespace pushMessaging{
 
   dictionary Message {
     // The subchannel the message was sent on;
     // only values 0-3 are valid.
     long subchannelId;
 
     // The payload associated with the message, if any. This should not contain
     // any personally identifiable information.
     DOMString payload;
@@ skipping 16 matching lines @@
     static void getChannelId(optional boolean interactive,
                              ChannelIdCallback callback);
   };
 
   interface Events {
     // Fired when a push message has been received.
     // |message| : The details associated with the message.
     static void onMessage(Message message);
   };
 };