printJavascript(); ?> printStyle(); ?> printChat(); ?> The source code"; $filename = __FILE__; echo "

".$filename."

"; echo "
";
  $content = file_get_contents($filename);
  highlight_string($content);
  echo "
"; $filename = dirname(__FILE__)."/demo3_config.php"; echo "

".$filename."

"; echo "
";
  $content = file_get_contents($filename);
  highlight_string($content);
  echo "
"; $filename = dirname(__FILE__)."/demo3_server.php"; echo "

".$filename."

"; echo "
";
  $content = file_get_contents($filename);
  highlight_string($content);
  echo "
"; ?>