| Index: Source/devtools/front_end/sources/module.json | 
| diff --git a/Source/devtools/front_end/sources/module.json b/Source/devtools/front_end/sources/module.json | 
| index 37f571a6e33d9aee3c5235492a9e754142fcb77c..3e92bb285d019d2422d71edff6a92a293b0046d4 100644 | 
| --- a/Source/devtools/front_end/sources/module.json | 
| +++ b/Source/devtools/front_end/sources/module.json | 
| @@ -171,6 +171,13 @@ | 
| { | 
| "type": "ui-setting", | 
| "section": "Sources", | 
| +            "title": "Highlight changed properties", | 
| +            "settingName": "highlightChangedProperties", | 
| +            "settingType": "checkbox" | 
| +        }, | 
| +        { | 
| +            "type": "ui-setting", | 
| +            "section": "Sources", | 
| "title": "Enable CSS source maps", | 
| "settingName": "cssSourceMapsEnabled", | 
| "settingType": "checkbox" | 
|  |