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