Update git submodules
[mediawiki.git] / maintenance / runScript.php
blobd05fef06414815eb7d403c649a87b2ce91257c69
1 <?php
3 if ( stream_isatty( STDOUT ) ) {
4 echo "\n";
5 echo "*******************************************************************************\n";
6 echo "NOTE: The maintenance/runScript.php entry point has been replaced by run.php!\n";
7 echo "*******************************************************************************\n";
8 echo "\n";
11 require __DIR__ . "/run.php";