45
45
echo( "\nUsing title '" . $title->getPrefixedText() . "'..." );
46
46
if ( !$title->exists() || !isset( $options['nooverwrite'] ) ) {
48
49
$text = file_get_contents( $filename );
49
50
$user = isset( $options['user'] ) ? $options['user'] : 'Maintenance script';