summaryrefslogtreecommitdiff
path: root/browser/base/content/global-devtools-theme-scripts.inc
diff options
context:
space:
mode:
Diffstat (limited to 'browser/base/content/global-devtools-theme-scripts.inc')
-rw-r--r--browser/base/content/global-devtools-theme-scripts.inc6
1 files changed, 6 insertions, 0 deletions
diff --git a/browser/base/content/global-devtools-theme-scripts.inc b/browser/base/content/global-devtools-theme-scripts.inc
new file mode 100644
index 000000000..408728ed5
--- /dev/null
+++ b/browser/base/content/global-devtools-theme-scripts.inc
@@ -0,0 +1,6 @@
+# -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
+# This Source Code Form is subject to the terms of the Mozilla Public
+# License, v. 2.0. If a copy of the MPL was not distributed with this
+# file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
+<script type="application/javascript" src="chrome://browser/content/browser-devtools-theme.js"/>