1 files changed, 70 insertions, 0 deletions
diff --git a/security/manager/pki/resources/content/device_manager.xhtml b/security/manager/pki/resources/content/device_manager.xhtml
new file mode 100644
index 0000000000..1c697d52e3
--- /dev/null
+++ b/security/manager/pki/resources/content/device_manager.xhtml
@@ -0,0 +1,70 @@
+<?xml version="1.0"?>
+<!-- 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/. -->
+
+<?xml-stylesheet href="chrome://global/skin/global.css" type="text/css"?>
+
+<!DOCTYPE dialog>
+
+<window windowtype="mozilla:devicemanager"
+        xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"
+        xmlns:html="http://www.w3.org/1999/xhtml"
+        data-l10n-id="devmgr-window"
+        data-l10n-attrs="style"
+        persist="screenX screenY width height"
+        onload="LoadModules();">
+<dialog id="devicemanager"
+        buttons="accept">
+
+<linkset>
+  <html:link rel="localization" href="security/certificates/deviceManager.ftl"/>
+</linkset>
+
+<script src="chrome://pippki/content/device_manager.js"/>
+
+<hbox flex="1" style="margin:5px">
+  <!-- List of devices -->
+  <tree id="device_tree" seltype="single"
+        onselect="enableButtons();" hidecolumnpicker="true"
+        flex="1" style="min-width: 15em">
+    <treecols>
+      <treecol id="deviceCol" flex="1" primary="true" data-l10n-id="devmgr-devlist"/>
+    </treecols>
+    <treechildren id="device_list"/>
+  </tree>
+  <!-- / List of devices -->
+  <!-- Device status -->
+  <tree id="info_tree" seltype="single" hidecolumnpicker="true"
+        style="-moz-box-flex: 3; min-width: 10em">
+    <treecols>
+      <treecol id="title1Col" style="-moz-box-flex: 5" primary="true" data-l10n-id="devmgr-header-details"/>
+      <treecol id="title2Col" style="-moz-box-flex: 7" data-l10n-id="devmgr-header-value"/>
+    </treecols>
+    <treechildren id="info_list"/>
+  </tree>
+  <!-- / Device status -->
+  <vbox> <!-- Buttons for manipulating devices -->
+    <button id="login_button"
+            data-l10n-id="devmgr-button-login"
+            oncommand="doLogin();" disabled="true"/>
+    <button id="logout_button"
+            data-l10n-id="devmgr-button-logout"
+            oncommand="doLogout();" disabled="true"/>
+    <button id="change_pw_button"
+            data-l10n-id="devmgr-button-changepw"
+            oncommand="changePassword();" disabled="true"/>
+    <button id="load_button"
+            data-l10n-id="devmgr-button-load"
+            oncommand="doLoad();"/>
+    <button id="unload_button"
+            data-l10n-id="devmgr-button-unload"
+            oncommand="doUnload();" disabled="true"/>
+    <button id="fipsbutton"
+            data-l10n-id="devmgr-button-enable-fips"
+            oncommand="toggleFIPS();"/>
+  </vbox> <!-- / Buttons for manipulating devices -->
+</hbox>
+
+</dialog>
+</window>