initial commit

2018-01-28 18:40:49 +02:00
commit 46c75d1542
8193 changed files with 183296 additions and 0 deletions
@@ -0,0 +1,8 @@
+<?php
+
+function make_seed() {
+  list($usec, $sec) = explode(' ', microtime());
+  return (float)$sec+((float)$usec*100000);
+}
+
+?>