modified:   src/php/lang/ClassLoader.php
	modified:   src/static.php