Made plugin loader compatible with older versions of PHP