3 if ( stream_isatty( STDOUT
) ) {
5 echo "*******************************************************************************\n";
6 echo "NOTE: The maintenance/runScript.php entry point has been replaced by run.php!\n";
7 echo "*******************************************************************************\n";
11 require __DIR__
. "/run.php";