PHP: Improved class loading