diff --git a/htdocs/admin/system/xdebug.php b/htdocs/admin/system/xdebug.php
index fd10aad05e8..8c3a70ff6ec 100644
--- a/htdocs/admin/system/xdebug.php
+++ b/htdocs/admin/system/xdebug.php
@@ -73,10 +73,10 @@ if (function_exists('socket_create')) {
print 'xdebug.profiler_append = '.ini_get('xdebug.profiler_append')."
\n";
print "
\n";
- echo "To run a debug session, add parameter
";
- echo "* XDEBUG_SESSION_START=aname on your URL. To stop, remove cookie XDEBUG_SESSION_START.
\n";
- echo "To run a profiler session (when xdebug.profiler_enable_trigger=1), add parameter
\n";
- echo "* XDEBUG_PROFILE=aname on each URL.
";
+ print "To run a debug session, add parameter
";
+ print "* XDEBUG_SESSION_START=aname on your URL. To stop, remove cookie XDEBUG_SESSION_START.
\n";
+ print "To run a profiler session (when xdebug.profiler_enable_trigger=1), add parameter
\n";
+ print "* XDEBUG_PROFILE=aname on each URL.
";
print "
";
print "Test debugger server (Eclipse for example):
\n";
@@ -89,12 +89,12 @@ if (function_exists('socket_create')) {
//$client = socket_accept($sock);
$client = socket_connect($socket, $address, $port);
if ($client) {
- echo "Connection established: ".$client." - address=".$address." port=".$port."
\n";
- echo "There is a Remote debug server at this address.
\n";
- echo "
\n";
- echo "To be sure this debugger accepts input from your PHP server and xdebug, be sure to have\n";
- echo "your php.ini file with this :
\n";
- echo '