diff --git a/crossdomain.xml b/crossdomain.xml
new file mode 100644
index 0000000..fa782e6
--- /dev/null
+++ b/crossdomain.xml
@@ -0,0 +1,4 @@
+
+
+
+
\ No newline at end of file
diff --git a/devtools.php b/devtools.php
index bef2383..5f4b17c 100644
--- a/devtools.php
+++ b/devtools.php
@@ -121,7 +121,7 @@ function getIcon(string $file)
{
return "/img/pkg.png";
}
- elseif($ext == "zip" || $ext == "tgz" || $ext == "gz")
+ elseif($ext == "zip" || $ext == "tgz" || $ext == "gz" || $ext == "7z")
{
return "/img/zip_icon.png";
}
@@ -264,6 +264,25 @@ function getIcon(string $file)
+
+
+
+
+
';
}
elseif($type == "psm-sources")
@@ -324,6 +343,15 @@ function getIcon(string $file)
+
+
';
}
else
diff --git a/img/psm-drivers.png b/img/psm-drivers.png
new file mode 100644
index 0000000..bfad1bc
Binary files /dev/null and b/img/psm-drivers.png differ
diff --git a/img/psmda_keys.png b/img/psmda_keys.png
new file mode 100644
index 0000000..bbd01e0
Binary files /dev/null and b/img/psmda_keys.png differ