diff options
| author | vlakoff <vlakoff@gmail.com> | 2013-05-12 10:57:09 +0200 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2013-05-12 10:57:09 +0200 |
| commit | fadb82230ba29b4c8a1e5f97092f7d775491f340 (patch) | |
| tree | 14fac7027f8168172d0e51a197a2764cf9db9793 /system/core/Benchmark.php | |
| parent | 206d951e3da15bf9c69b3b8860c8bd274fb82b6f (diff) | |
Do not trigger a possible custom autoloader, as it is irrelevant here
These were the last two calls of class_exists() without the $autoloader = FALSE argument.
Diffstat (limited to 'system/core/Benchmark.php')
0 files changed, 0 insertions, 0 deletions