http://atutor.ca/atutor/mantis/view.php?id=3096

diff --git a/docs/users/course_properties.php b/docs/users/course_properties.php
deleted file mode 100644 (file)
index 05e097e..0000000
--- a/docs/users/course_properties.php
+++ /dev/null
@@ -1,45 +0,0 @@
-<?php
-/************************************************************************/
-/* ATutor                                                                                                                              */
-/************************************************************************/
-/* Copyright (c) 2002-2006 by Greg Gay, Joel Kronenberg & Heidi Hazelton*/
-/* Adaptive Technology Resource Centre / University of Toronto                 */
-/* http://atutor.ca                                                                                                            */
-/*                                                                                                                                             */
-/* This program is free software. You can redistribute it and/or               */
-/* modify it under the terms of the GNU General Public License                 */
-/* as published by the Free Software Foundation.                                               */
-/************************************************************************/
-// $Id$
-
-$_user_location        = 'users';
-define('AT_INCLUDE_PATH', '../include/');
-require(AT_INCLUDE_PATH.'vitals.inc.php');
-
-$title = _AT('course_properties');
-require(AT_INCLUDE_PATH.'header.inc.php');
-
-echo '<h2>';
-       if ($_SESSION['prefs'][PREF_CONTENT_ICONS] != 2) {
-               echo '<a href="tools/" class="hide" ><img src="images/icons/default/square-large-tools.gif" vspace="2" border="0"  class="menuimageh2" width="42" height="40" alt="" /></a> ';
-       }
-       if ($_SESSION['prefs'][PREF_CONTENT_ICONS] != 1) {
-               echo '<a href="tools/" class="hide" >'._AT('tools').'</a>';
-       }
-echo '</h2>';
-
-echo '<h3>';
-       if ($_SESSION['prefs'][PREF_CONTENT_ICONS] != 2) {
-               echo '&nbsp;<img src="images/icons/default/course-properties-large.gif"  class="menuimageh3" width="42" height="38" alt="" /> ';
-       }
-       if ($_SESSION['prefs'][PREF_CONTENT_ICONS] != 1) {
-               echo _AT('course_properties');
-       }
-echo '</h3>';
-
-$msg->printAll();
-
-require(AT_INCLUDE_PATH.'html/course_properties.inc.php');
-
-require(AT_INCLUDE_PATH.'footer.inc.php');
-?>
\ No newline at end of file