Index: trunk/phase3/includes/AutoLoader.php |
— | — | @@ -554,6 +554,7 @@ |
555 | 555 | } |
556 | 556 | } |
557 | 557 | if ( !$filename ) { |
| 558 | + wfDebug( "Class {$className} not found; skipped loading" ); |
558 | 559 | # Give up |
559 | 560 | wfProfileOut( __METHOD__ ); |
560 | 561 | return false; |
Index: trunk/phase3/includes/Skin.php |
— | — | @@ -132,7 +132,7 @@ |
133 | 133 | $className = 'Skin'.ucfirst($key); |
134 | 134 | |
135 | 135 | # Grab the skin class and initialise it. |
136 | | - if ( !class_exists( $className ) ) { |
| 136 | + if ( !class_exists( $className, false ) ) { |
137 | 137 | // Preload base classes to work around APC/PHP5 bug |
138 | 138 | $deps = "{$wgStyleDirectory}/{$skinName}.deps.php"; |
139 | 139 | if( file_exists( $deps ) ) include_once( $deps ); |