DevTools: [Documentation] Add syntax highlight for code examples

Source/devtools/devtools.gypi

 #
 # Copyright (C) 2013 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
@@ skipping 187 matching lines @@
         ],
         'devtools_ui_js_files': [
             'front_end/ui/ActionRegistry.js',
             'front_end/ui/Checkbox.js',
             'front_end/ui/CompletionDictionary.js',
             'front_end/ui/Context.js',
             'front_end/ui/ContextMenu.js',
             'front_end/ui/DataGrid.js',
             'front_end/ui/Dialog.js',
             'front_end/ui/DOMExtension.js',
+            'front_end/ui/DOMSyntaxHighlighter.js',
             'front_end/ui/DropDownMenu.js',
             'front_end/ui/EmptyView.js',
             'front_end/ui/ForwardedInputEventHandler.js',
             'front_end/ui/InplaceEditor.js',
             'front_end/ui/KeyboardShortcut.js',
             'front_end/ui/PieChart.js',
             'front_end/ui/Popover.js',
             'front_end/ui/ProgressIndicator.js',
             'front_end/ui/ResizerWidget.js',
             'front_end/ui/RootView.js',
@@ skipping 114 matching lines @@
         'devtools_devices_js_files': [
             'front_end/devices/DevicesView.js',
         ],
         'devtools_documentation_js_files': [
             'front_end/documentation/DocumentationURLProvider.js',
             'front_end/documentation/DocumentationView.js',
             'front_end/documentation/JSArticle.js',
             'front_end/documentation/WikiParser.js',
         ],
         'devtools_elements_js_files': [
-            'front_end/elements/DOMSyntaxHighlighter.js',
             'front_end/elements/ElementsPanel.js',
             'front_end/elements/ElementsTreeOutline.js',
             'front_end/elements/EventListenersSidebarPane.js',
             'front_end/elements/MetricsSidebarPane.js',
             'front_end/elements/PlatformFontsSidebarPane.js',
             'front_end/elements/PropertiesSidebarPane.js',
             'front_end/elements/Spectrum.js',
             'front_end/elements/StylesSidebarPane.js',
         ],
         'devtools_extensions_js_files': [
@@ skipping 262 matching lines @@
             'front_end/Images/thumbHoverHoriz.png',
             'front_end/Images/thumbHoverVert.png',
             'front_end/Images/thumbVert.png',
             'front_end/Images/toolbarItemSelected.png',
         ],
         'devtools_extension_api_files': [
             'front_end/extensions/ExtensionAPI.js',
         ],
     },
 }