Admin/components/index.php
changeset 72503 05d0977ec706
child 72542 c588e0b8b8b0
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components/index.php	Fri Oct 23 14:33:17 2020 +0200
@@ -0,0 +1,23 @@
+<html>
+<body>
+<h2>Components:</h2>
+<table>
+<tr>
+<th> Name </th>
+<th> &nbsp;&nbsp;&nbsp; </th>
+<th> Size</th>
+</tr>
+<?php
+ $component_pattern="/^.+\.tar\.gz$/";
+
+ foreach (scandir(getcwd()) as $file){
+   if (preg_match($component_pattern, $file)
+       && is_file($file)
+       && is_readable($file)) {
+     print "<tr><td><a href=\"$file\">$file</a></td><td></td><td>".filesize($file)."</td></tr>\n";
+  }
+ }
+?>
+</table>
+</body>
+</html>