diff options
author | Tim Starling <tstarling@users.mediawiki.org> | 2009-09-18 05:23:10 +0000 |
---|---|---|
committer | Tim Starling <tstarling@users.mediawiki.org> | 2009-09-18 05:23:10 +0000 |
commit | 1d8d173ecc1741bacaa1ac86227ae321e87f6dd0 (patch) | |
tree | 6c0b7109bb15e5f3b09fa425e8d9828887081b91 /maintenance/mergeMessageFileList.php | |
parent | a89f29f7b41bc2e4a75151581c389dc443a87ee2 (diff) | |
download | mediawikicore-1d8d173ecc1741bacaa1ac86227ae321e87f6dd0.tar.gz mediawikicore-1d8d173ecc1741bacaa1ac86227ae321e87f6dd0.zip |
Assorted tweaks.
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/56582
Diffstat (limited to 'maintenance/mergeMessageFileList.php')
-rw-r--r-- | maintenance/mergeMessageFileList.php | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/maintenance/mergeMessageFileList.php b/maintenance/mergeMessageFileList.php index dd78a04f1f06..b781e57ffa29 100644 --- a/maintenance/mergeMessageFileList.php +++ b/maintenance/mergeMessageFileList.php @@ -40,11 +40,25 @@ foreach ( $mmfl['setupFiles'] as $fileName ) { include_once( $fileName ); } fwrite( STDERR, "\n" ); -$s = '$wgExtensionMessagesFiles = ' . var_export( $wgExtensionMessagesFiles, true ) . ";\n\n" . +$s = + "<" . "?php\n" . + "## This file is generated by mergeMessageFileList.php. Do not edit it directly.\n\n" . + '$wgExtensionMessagesFiles = ' . var_export( $wgExtensionMessagesFiles, true ) . ";\n\n" . '$wgExtensionAliasesFiles = ' . var_export( $wgExtensionAliasesFiles, true ) . ";\n"; -$s = preg_replace( "/'" . preg_quote( $IP, '/' ) . "([^']*)'/", - '"$IP/\1"', $s ); +$dirs = array( + $IP, + dirname( dirname( __FILE__ ) ), + realpath( $IP ) +); + +foreach ( $dirs as $dir ) { + $s = preg_replace( + "/'" . preg_quote( $dir, '/' ) . "([^']*)'/", + '"$IP\1"', + $s ); +} + if ( isset( $mmfl['output'] ) ) { file_put_contents( $mmfl['output'], $s ); } else { |