| Index: trunk/extensions/DumpHTML/dumpHTML.inc |
| — | — | @@ -1134,7 +1134,7 @@ |
| 1135 | 1135 | } |
| 1136 | 1136 | |
| 1137 | 1137 | function profile() { |
| 1138 | | - global $wgProfiler, $wgRequestTime, $wgRUstart; |
| | 1138 | + global $wgRequestTime, $wgRUstart; |
| 1139 | 1139 | |
| 1140 | 1140 | if ( !$this->udpProfile ) { |
| 1141 | 1141 | return; |