Course ID number

diff --git a/course/edit.html b/course/edit.html
index d7f5db87b5307dfe20e96e54be4f9e91ae3504ab..f72199028a167640752ffa0cb76524ecc5a74d07 100644 (file)
--- a/course/edit.html
+++ b/course/edit.html
@@ -40,6 +40,13 @@
     <?php  if (isset($err["shortname"])) formerr($err["shortname"]); ?>
     </td>
 </tr>
+<tr valign=top>
+    <td align="right"><P><?php  print_string("idnumber") ?>:</td>
+    <td><input type="text" name="idnumber" maxlength="100"  size="10" value="<?php  p($form->idnumber) ?>">
+    <?php  helpbutton("courseidnumber", get_string("idnumber")) ?>
+    <?php  if (isset($err["idnumber"])) formerr($err["idnumber"]); ?>
+    </td>
+</tr>
 <tr valign=top>
     <td align="right"><P><?php  print_string("summary") ?>:</td>
     <td><?php