00001 <?php 00012 $oldCwd = getcwd(); 00013 00014 $optionsWithArgs = array( "d" ); 00015 require( "commandLine.inc" ); 00016 require( "rebuildInterwiki.inc" ); 00017 chdir( $oldCwd ); 00018 00019 # Output 00020 if ( isset( $options['d'] ) ) { 00021 $destDir = $options['d']; 00022 } else { 00023 $destDir = '/home/wikipedia/conf/interwiki/sql'; 00024 } 00025 00026 echo "Making new interwiki SQL files in $destDir\n"; 00027 makeInterwikiSQL( $destDir ); 00028