(bug 19195) Make user IDs more readily available with the API
[lhc/web/wiklou.git] / includes / profiler / ProfilerStub.php
1 <?php
2 /**
3 * Stub profiling functions
4 * @file
5 * @ingroup Profiler
6 */
7 class ProfilerStub extends Profiler {
8 public function isStub() {
9 return true;
10 }
11 public function profileIn( $fn ) {}
12 public function profileOut( $fn ) {}
13 public function getOutput() {}
14 public function close() {}
15 public function logData() {}
16 public function getCurrentSection() { return ''; }
17 }