From 6d5a0e939f14d19825640479bf563d1969da89e9 Mon Sep 17 00:00:00 2001
From: tjhunt <tjhunt>
Date: Wed, 29 Oct 2008 08:39:33 +0000
Subject: [PATCH] random course generator: Helpful comment at the top of the
 file.

---
 admin/generator.php | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/admin/generator.php b/admin/generator.php
index 3cd12a17d9..b5aa018516 100755
--- 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');
-- 
2.39.5