* @ingroup Maintenance
*/
-$wgUseNormalUser = (bool)getenv( 'MW_WIKIUSER' );
-
$optionsWithArgs = array( 'd' );
/** */
}
if ( function_exists( 'readline_add_history' )
- && posix_isatty( 0 /*STDIN*/ ) )
+ && Maintenance::posix_isatty( 0 /*STDIN*/ ) )
{
$useReadline = true;
} else {