| Index: trunk/phase3/includes/Setup.php |
| — | — | @@ -28,7 +28,6 @@ |
| 29 | 29 | if ( function_exists( 'wfProfileIn' ) ) { |
| 30 | 30 | /* nada, everything should be done already */ |
| 31 | 31 | } elseif ( $wgProfiling and (0 == rand() % $wgProfileSampleRate ) ) { |
| 32 | | - require_once( 'Profiling.php' ); |
| 33 | 32 | $wgProfiling = true; |
| 34 | 33 | if ($wgProfilerType == "") { |
| 35 | 34 | $wgProfiler = new Profiler(); |
| — | — | @@ -62,8 +61,6 @@ |
| 63 | 62 | require_once( 'Block.php' ); |
| 64 | 63 | require_once( 'MessageCache.php' ); |
| 65 | 64 | require_once( 'Parser.php' ); |
| 66 | | -require_once( 'ParserCache.php' ); |
| 67 | | -require_once( 'WebRequest.php' ); |
| 68 | 65 | require_once( 'LoadBalancer.php' ); |
| 69 | 66 | require_once( 'HistoryBlob.php' ); |
| 70 | 67 | require_once( 'ProxyTools.php' ); |