Dynamically generate a heading for Extension Docs API pages

tools/json_schema_compiler/model.py

Index: tools/json_schema_compiler/model.py
diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py
index d6b6efc1a12f3519777d08b4995fa43d27e8c8ea..587c256315c02285b9ef278a6897a09fb1b1f56a 100644
--- a/tools/json_schema_compiler/model.py
+++ b/tools/json_schema_compiler/model.py
@@ -39,6 +39,7 @@ class Namespace(object):
 
   Properties:
   - |name| the name of the namespace
+  - |description| the description of the namespace
   - |unix_name| the unix_name of the namespace
   - |source_file| the file that contained the namespace definition
   - |source_file_dir| the directory component of |source_file|
@@ -54,6 +55,7 @@ class Namespace(object):
   """
   def __init__(self, json, source_file, include_compiler_options=False):
     self.name = json['namespace']
+    self.description = json.get('description', None)
     self.unix_name = UnixName(self.name)
     self.source_file = source_file
     self.source_file_dir, self.source_file_filename = os.path.split(source_file)