MediaWiki REL1_31
echo_args.php
Go to the documentation of this file.
1<?php
2
3if ( PHP_SAPI !== 'cli' ) {
4 exit( 1 );
5}
6
7for ( $i = 1; $i < count( $argv ); $i++ ) {
8 fprintf( STDOUT, "%s", $argv[$i] );
9
10 if ( $i + 1 < count( $argv ) )
11 fprintf( STDOUT, " " );
12}
global $argv