https://www.mediawiki.org/wiki/Special:Code/MediaWiki/115377
Revision: 115377
Author: reedy
Date: 2012-05-14 19:24:28 +0000 (Mon, 14 May 2012)
Log Message:
-----------
dir_exists isn't a php function!!
Modified Paths:
--------------
trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki
Modified: trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki
===================================================================
--- trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki 2012-05-14
16:08:37 UTC (rev 115376)
+++ trunk/tools/mwmultiversion/multiversion/checkoutMediaWiki 2012-05-14
19:24:28 UTC (rev 115377)
@@ -67,7 +67,7 @@
<?php
# WARNING: This file is publically viewable on the web. Do not put private
data here.
if ( defined('TESTWIKI') ) {
- if( !dir_exists( "/home/wikipedia" ) ) {
+ if( !file_exists( "/home/wikipedia" ) ) {
# Jobs runner on apache do not have a /home/wikipedia !
include_once( "/apache/common/wmf-config/CommonSettings.php" );
} else {
_______________________________________________
MediaWiki-CVS mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs
