more documentation, and set some extensions to be hidden from the user docs list

2010-01-05 13:13:11 +00:00
parent 843e2b2cc9
commit 18c0fa7df8
13 changed files with 22 additions and 6 deletions
--- a/ext/alias_editor/main.php
+++ b/ext/alias_editor/main.php
@@ -6,8 +6,8 @@
 * License: GPLv2
 * Description: Edit the alias list
 * Documentation:
- *  The list is visible at $site/alias/list; only site admins can edit it,
- *  other people can view and download it
+ *  The list is visible at <a href="$site/alias/list">/alias/list</a>; only
+ *  site admins can edit it, other people can view and download it
 */

 class AddAliasEvent extends Event {