do not display full path names in JS comments FS#1770

Ignore-this: e25dcba3daa9d89efbeb1bfdfe0f24bb

darcs-hash:20091006201146-7ad00-ca35f4e0bd96cbe008fb77ae8391de2a74b9fc49.gz

lib/exe/js.php

@@ -97,9 +97,9 @@ function js_out(){
 
     // load files
     foreach($files as $file){
-        echo "\n\n/* XXXXXXXXXX begin of $file XXXXXXXXXX */\n\n";
+        echo "\n\n/* XXXXXXXXXX begin of ".str_replace(DOKU_INC, '', $file) ." XXXXXXXXXX */\n\n";
         js_load($file);
-        echo "\n\n/* XXXXXXXXXX end of $file XXXXXXXXXX */\n\n";
+        echo "\n\n/* XXXXXXXXXX end of " . str_replace(DOKU_INC, '', $file) . " XXXXXXXXXX */\n\n";
     }