framework.php get_core() updated