first commit

2026-07-22 20:46:10 +00:00 · 2012-03-29 13:00:34 +02:00
commit 6928cbcd1d
2446 changed files with 85772 additions and 0 deletions
@@ -0,0 +1,25 @@
+<div id="textmenu">
+   <a href="build.php?id=<?php echo $id; ?>" <?php
+
+        if(!isset($_GET['t']) && $_GET['id'] == $id) {
+        	echo "class=\"selected\"";
+        }
+
+?>
+    ">Own artefacts</a>
+         
+ | <a href="build.php?id=<?php echo $id; ?>&t=2" <?php
+
+        if(isset($_GET['t']) && $_GET['t'] == 2) {
+        	echo "class=\"selected\"";
+        }
+
+?>">Small artefacts</a>
+
+ | <a href="build.php?id=<?php echo $id; ?>&t=3" <?php
+
+        if(isset($_GET['t']) && $_GET['t'] == 3) {
+        	echo "class=\"selected\"";
+        }
+?>">Large artefacts</a>
+</div>