DevTools: Migrate General tab settings to extensions

Source/devtools/front_end/inspector.html

Index: Source/devtools/front_end/inspector.html
diff --git a/Source/devtools/front_end/inspector.html b/Source/devtools/front_end/inspector.html
index e0f342a9ee401a32cd27d8d356dcd30ff26b2343..7c52dc8246e5500770c4d7358c24894b69c33a28 100644
--- a/Source/devtools/front_end/inspector.html
+++ b/Source/devtools/front_end/inspector.html
@@ -42,6 +42,7 @@ THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     <script type="text/javascript" src="DOMExtension.js"></script>
     <script type="text/javascript" src="treeoutline.js"></script>
     <script type="text/javascript" src="WebInspector.js"></script>
+    <script type="text/javascript" src="SettingsUI.js"></script>
     <script type="text/javascript" src="Main.js"></script>
     <script type="text/javascript" src="ModuleManager.js"></script>
     <script type="text/javascript" src="Platform.js"></script>
@@ -54,7 +55,6 @@ THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     <script type="text/javascript" src="Target.js"></script>
     <script type="text/javascript" src="NotificationService.js"></script>
     <script type="text/javascript" src="Settings.js"></script>
-    <script type="text/javascript" src="SettingsUI.js"></script>
     <script type="text/javascript" src="View.js"></script>
     <script type="text/javascript" src="UIUtils.js"></script>
     <script type="text/javascript" src="HelpScreen.js"></script>