random course generator: Helpful comment at the top of the file.

diff --git a/admin/generator.php b/admin/generator.php
index 3cd12a17d9c9de34fad7c2bbaf3ead83e0ecdb5f..b5aa0185162fc32a694127b3f7a08ed91887ae48 100755 (executable)
--- a/admin/generator.php
+++ b/admin/generator.php
@@ -1,4 +1,13 @@
-<?php
+<?php  // $Id$
+/**
+ * Random course generator. By Nicolas Connault and friends.
+ *
+ * To use go to .../admin/generator.php?web_interface=1 in your browser.
+ *
+ * @license http://www.gnu.org/copyleft/gpl.html GNU Public License
+ * @package generator
+ *//** */
+
 require_once(dirname(__FILE__).'/../config.php');
 require_once($CFG->libdir . '/formslib.php');
 require_once($CFG->dirroot .'/course/lib.php');