diff options
Diffstat (limited to 'browser/base/content/global-devtools-theme-scripts.inc')
| -rw-r--r-- | browser/base/content/global-devtools-theme-scripts.inc | 6 |
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"/> |