| Index: Source/devtools/devtools.gyp | 
| diff --git a/Source/devtools/devtools.gyp b/Source/devtools/devtools.gyp | 
| index bea365e96782a04f9fe971a27d7058394e324d59..bce7b0648fbaabf71a81bb1d822b887fa0042039 100644 | 
| --- a/Source/devtools/devtools.gyp | 
| +++ b/Source/devtools/devtools.gyp | 
| @@ -329,17 +329,23 @@ | 
|  | 
| 'devtools_codemirror_js_files': [ | 
| 'front_end/CodeMirrorTextEditor.js', | 
| +            'front_end/cm/clike.js', | 
| +            'front_end/cm/closebrackets.js', | 
| 'front_end/cm/codemirror.js', | 
| -            'front_end/cm/css.js', | 
| -            'front_end/cm/showhint.js', | 
| +            'front_end/cm/coffeescript.js', | 
| 'front_end/cm/comment.js', | 
| +            'front_end/cm/css.js', | 
| +            'front_end/cm/htmlembedded.js', | 
| 'front_end/cm/htmlmixed.js', | 
| -            'front_end/cm/closebrackets.js', | 
| -            'front_end/cm/matchbrackets.js', | 
| 'front_end/cm/javascript.js', | 
| -            'front_end/cm/xml.js', | 
| 'front_end/cm/markselection.js', | 
| +            'front_end/cm/matchbrackets.js', | 
| 'front_end/cm/overlay.js', | 
| +            'front_end/cm/php.js', | 
| +            'front_end/cm/python.js', | 
| +            'front_end/cm/shell.js', | 
| +            'front_end/cm/showhint.js', | 
| +            'front_end/cm/xml.js', | 
| ], | 
|  | 
| 'devtools_modules_js_files': [ | 
|  |