Fix autoload of userfilter.php when using ProfileFilter

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>

diff --git a/include/common.inc.php b/include/common.inc.php
index a5bceae..8d0a1ec 100644 (file)
--- a/include/common.inc.php
+++ b/include/common.inc.php
@@ -23,7 +23,7 @@ function __autoload($cls)
 {
     if (!pl_autoload($cls)) {
         $cls = strtolower($cls);
-        if (substr($cls, 0, 4) == 'ufc_' || substr($cls, 0, 4) == 'ufo_') {
+        if (substr($cls, 0, 4) == 'ufc_' || substr($cls, 0, 4) == 'ufo_' || $cls == 'profilefilter') {
             __autoload('userfilter');
             return;
         } else if (substr($cls, 0, 4) == 'pfc_'