diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
commit | 63601400e476c6cf43d985f3e7b9864681695ed4 (patch) | |
tree | f7846203a952e38aaf66989d0a4702779f549962 /maintenance/hiphop/run-server | |
parent | 8ff01378c9e0207f9169b81966a51def645b6a51 (diff) |
Update to MediaWiki 1.20.2
this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024
Diffstat (limited to 'maintenance/hiphop/run-server')
-rw-r--r-- | maintenance/hiphop/run-server | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintenance/hiphop/run-server b/maintenance/hiphop/run-server index 0ad43134..1c4b51f4 100644 --- a/maintenance/hiphop/run-server +++ b/maintenance/hiphop/run-server @@ -1,7 +1,7 @@ #!/usr/bin/hphpi -f <?php -require( dirname( __FILE__ ) . '/../Maintenance.php' ); +require( __DIR__ . '/../Maintenance.php' ); class RunHipHopServer extends Maintenance { function __construct() { @@ -19,7 +19,7 @@ class RunHipHopServer extends Maintenance { function runCompiled() { global $wgHipHopBuildDirectory; - $thisDir = realpath( dirname( __FILE__ ) ); + $thisDir = realpath( __DIR__ ); $IP = realpath( "$thisDir/../.." ); if ( strval( $wgHipHopBuildDirectory ) !== '' ) { $buildDir = $wgHipHopBuildDirectory; @@ -51,7 +51,7 @@ class RunHipHopServer extends Maintenance { } function runInterpreted() { - $thisDir = realpath( dirname( __FILE__ ) ); + $thisDir = realpath( __DIR__ ); $IP = realpath( "$thisDir/../.." ); $sourceBase = realpath( "$IP/.." ); |