Update core/lib/theme.php