http://www.mediawiki.org/wiki/Special:Code/MediaWiki/97315

Revision: 97315
Author:   aaron
Date:     2011-09-16 18:53:19 +0000 (Fri, 16 Sep 2011)
Log Message:
-----------
Handle the lib/ directory for things like geshi

Modified Paths:
--------------
    trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki

Modified: trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki
===================================================================
--- trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki   2011-09-16 
18:50:13 UTC (rev 97314)
+++ trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki   2011-09-16 
18:53:19 UTC (rev 97315)
@@ -86,7 +86,7 @@
                        print "Created AdminSettings.php symlink.\n";
                }
        } else {
-               print "File already exists: $path\n";
+               print "Symlink file already exists: $path\n";
        }
 
        # Create symlink to wmf-config/StartProfiler.php...
@@ -96,7 +96,7 @@
                        print "Created StartProfiler.php symlink.\n";
                }
        } else {
-               print "File already exists: $path\n";
+               print "Symlink file already exists: $path\n";
        }
 
        # Create bits.wikimedia.org symlinks...
@@ -106,7 +106,7 @@
                        print "Created skins-$dstVersionNum symlink.\n";
                }
        } else {
-               print "File already exists: $path\n";
+               print "Symlink file already exists: $path\n";
        }
        $path = "$commonHomeDir/docroot/bits/w/extensions-$dstVersionNum";
        if ( !file_exists( $path ) ) {
@@ -114,17 +114,17 @@
                        print "Created w/extensions-$dstVersionNum symlink.\n";
                }
        } else {
-               print "File already exists: $path\n";
+               print "Symlink file already exists: $path\n";
        }
 
-       # Create skins/resources symlinks
+       # Create skins/resources symlinks...
        $path = "$commonHomeDir/live-1.5/extensions-$dstVersionNum";
        if ( !file_exists( $path ) ) {
                if ( symlink( "$commonLocalDir/php-$dstVersionNum/extensions", 
$path ) ) {
                        print "Created live-1.5/extensions-$dstVersionNum 
symlink.\n";
                }
        } else {
-               print "File already exists: $path\n";
+               print "Symlink file already exists: $path\n";
        }
        $path = "$commonHomeDir/live-1.5/skins-$dstVersionNum";
        if ( !file_exists( $path ) ) {
@@ -132,7 +132,7 @@
                        print "Created live-1.5/skins-$dstVersionNum 
symlink.\n";
                }
        } else {
-               print "File already exists: $path\n";
+               print "Symlink file already exists: $path\n";
        }
        $path = "$commonHomeDir/live-1.5/resources-$dstVersionNum";
        if ( !file_exists( $path ) ) {
@@ -140,9 +140,23 @@
                        print "Created live-1.5/resources-$dstVersionNum 
symlink.\n";
                }
        } else {
-               print "File already exists: $path\n";
+               print "Symlink file already exists: $path\n";
        }
 
+       # Create libs symlinks...
+       $libDir = "$commonHomeDir/php-$dstVersionNum/lib";
+       if ( !file_exists( $libDir ) ) {
+               mkdir( $libDir, 0775 );
+       }
+       $path = "$libDir/geshi";
+       if ( !file_exists( $path ) ) {
+               if ( symlink( "../../lib/geshi", $path ) ) {
+                       print "Created php-$dstVersionNum/lib/geshi symlink.\n";
+               }
+       } else {
+               print "Symlink file already exists: $path\n";
+       }
+
        print "MediaWiki $dstVersionNum, from $svnVersion, successfully checked 
out.\n";
 }
 


_______________________________________________
MediaWiki-CVS mailing list
MediaWiki-CVS@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs

Reply via email to