Second part of bug 4083: Special:Validation doesn't check wpEditToken
[lhc/web/wiklou.git] / includes / ProfilerStub.php
1 <?php
2
3 # Stub profiling functions
4
5 function wfProfileIn( $fn = '' ) {
6 global $hackwhere, $wgDBname;
7 $hackwhere[] = $fn;
8 if (function_exists("setproctitle"))
9 setproctitle($fn . " [$wgDBname]");
10 }
11 function wfProfileOut( $fn = '' ) {
12 global $hackwhere, $wgDBname;
13 if (count($hackwhere))
14 array_pop($hackwhere);
15 if (function_exists("setproctitle") && count($hackwhere))
16 setproctitle($hackwhere[count($hackwhere)-1] . " [$wgDBname]");
17 }
18 function wfGetProfilingOutput( $s, $e ) {}
19 function wfProfileClose() {}
20 function wfLogProfilingData() {}
21
22 ?>