diff options
Diffstat (limited to 'lib/exe/js.php')
| -rw-r--r-- | lib/exe/js.php | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/lib/exe/js.php b/lib/exe/js.php index 75b9b1f1c..9854f1b45 100644 --- a/lib/exe/js.php +++ b/lib/exe/js.php @@ -130,9 +130,11 @@ function js_out(){ // load plugin scripts (suppress warnings for missing ones) foreach($plugins as $plugin){ - echo "\n\n/* XXXXXXXXXX begin of $file XXXXXXXXXX */\n\n"; - @readfile($plugin); - echo "\n\n/* XXXXXXXXXX end of $file XXXXXXXXXX */\n\n"; + if (@file_exists($plugin)) { + echo "\n\n/* XXXXXXXXXX begin of $plugin XXXXXXXXXX */\n\n"; + @readfile($plugin); + echo "\n\n/* XXXXXXXXXX end of $plugin XXXXXXXXXX */\n\n"; + } } // load user script |