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 /user_guide_src/source/libraries | |
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 'user_guide_src/source/libraries')
0 files changed, 0 insertions, 0 deletions