Remove PHP 5.2 compatibility from SplClassLoader + add getServlerManager() method to ServletConfiguration