MediaWiki
REL1_41
runScript.php
Go to the documentation of this file.
1
<?php
2
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"
;
9
}
10
11
require __DIR__ .
"/run.php"
;
maintenance
runScript.php
Generated on Sat Nov 23 2024 08:26:29 for MediaWiki by
1.10.0