| Index: trunk/extensions/Configure/Configure.func.php |
| — | — | @@ -58,7 +58,7 @@ |
| 59 | 59 | */ |
| 60 | 60 | function efConfigureSetup( $wiki = 'default' ) { |
| 61 | 61 | global $wgConf, $wgConfigureFilesPath; |
| 62 | | - |
| | 62 | + wfProfileIn( __FUNCTION__ ); |
| 63 | 63 | # Create the new configuration object... |
| 64 | 64 | $oldConf = $wgConf; |
| 65 | 65 | require_once( dirname( __FILE__ ) . '/Configure.obj.php' ); |
| — | — | @@ -81,6 +81,7 @@ |
| 82 | 82 | } else { |
| 83 | 83 | efConfigureInitialise(); |
| 84 | 84 | } |
| | 85 | + wfProfileOut( __FUNCTION__ ); |
| 85 | 86 | } |
| 86 | 87 | |
| 87 | 88 | function efConfigureInitialise() { |