// (shifted here from /bin/daftari.php (# 20140501.0111)
   // note : This may contain some paranoia about the existence of the js/css files to include.
   //
   // // //-----------------------
   // // // (shutdown # 20100910.0921)
   // // // experiment failed for now, perhaps continue other time
   // //if (false)
   // //{
   // //   $sContents = file_get_contents($sScriptfile);
   // //   if ($sContents === false) {
   // //      print('<p>Error reading file <b>' . $sScriptfile . '</b></p>');
   // //      return;
   // //   }
   // //   $sTest = '<!-- PHP INSERT TEST -->';
   // //   $sTest2 = '<p>HERE INSERTED IS THE PHP INSERT TEST</p>';
   // //   $sContents = str_replace($sTest, $sTest2, $sContents);
   // //   // //$b = file_put_contents($sScriptfile, $sContents);              // wrong, we don't want change the source
   // //   ob_clean();                                                         // works as expected
   // //   print($sContents);
   // //}
   // // //-----------------------