Changeset 236

Timestamp:

01/05/07 15:15:03 (2 years ago)

Author:

Gregor

Message:

edit.php: More useful help for editing privileges.

Files:

• branches/dsss-smi/edit.php (modified) (2 diffs)

branches/dsss-smi/edit.php

@@ -49 +49 @@
-
-<pre>
+<?PHP
+if ($_POST['pkg'] == "privileges") {
+    print "Registered users:\n";
+    foreach (array_keys($pws) as $nam) {
+        print "$nam\n";
+    }
+} else {
+?>
-Format: name protocol/format source [patch]
-svn:
@@ -58 +66 @@
-    or
-  directory:patchfile
+<?PHP } ?>
-</pre><br>
-<textarea name='cont' rows=10 cols=120><?PHP