mirror/php-e107
1
0
Fork 0
mirror of https://github.com/e107inc/e107.git synced 2025-01-17 20:58:30 +01:00
Code Issues Releases Wiki Activity

Bugtracker #4366 - check that user.js exists

Browse Source
This commit is contained in:
e107steved 2008-05-23 21:14:38 +00:00
parent a7ad6e489d
commit 8ac2be2e12
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
e107_admin/header.php
View File

@ -12,8 +12,8 @@
| GNU General Public License (http://gnu.org).
|
| $Source: /cvs_backup/e107_0.8/e107_admin/header.php,v $
| $Revision: 1.14 $
| $Date: 2008-03-09 20:33:03 $
| $Revision: 1.15 $
| $Date: 2008-05-23 21:14:38 $
| $Author: e107steved $
+---------------------------------------------------------------+
*/
@ -145,7 +145,7 @@ if (strpos(e_SELF.'?'.e_QUERY, 'menus.php?configure') === FALSE) {
echo "<script type='text/javascript' src='".e_FILE_ABS."e_ajax.php'></script>\n";
}
if (file_exists(THEME.'theme.js')) { echo "<script type='text/javascript' src='".THEME_ABS."theme.js'></script>\n"; }
if (filesize(e_FILE.'user.js')) { echo "<script type='text/javascript' src='".e_FILE_ABS."user.js'></script>\n"; }
if (is_readable(e_FILE.'user.js') && filesize(e_FILE.'user.js')) { echo "<script type='text/javascript' src='".e_FILE_ABS."user.js'></script>\n"; }
if (isset($eplug_js) && $eplug_js) {
echo "\n<!-- eplug_js -->\n";