diff --git a/html/user/project.inc b/html/user/project.inc.sample old mode 100755 new mode 100644 similarity index 100% rename from html/user/project.inc rename to html/user/project.inc.sample diff --git a/html/user/project_sah.inc b/html/user/project_sah.inc deleted file mode 100644 index ccf3eaf7cb..0000000000 --- a/html/user/project_sah.inc +++ /dev/null @@ -1,26 +0,0 @@ - - - \n"; - if ($user) { - echo "Logged in as $user->name"; - } else { - echo "
"; - } - echo "
\n"; -} - -?> diff --git a/html/user/project_specific_prefs.inc b/html/user/project_specific_prefs.inc.sample similarity index 100% rename from html/user/project_specific_prefs.inc rename to html/user/project_specific_prefs.inc.sample