SplClassLoader php extension