uncache themes on settings change

inc/mod/pages.php

@@ -2506,6 +2506,10 @@ function mod_theme_configure($theme_name) {
 		$query->bindValue(':theme', $theme_name);
 		$query->execute() or error(db_error($query));
 
+		// Clean cache
+		Cache::delete("themes");
+		Cache::delete("theme_settings_".$theme);
+		
 		$result = true;
 		$message = false;
 		if (isset($theme['install_callback'])) {
@@ -2557,6 +2561,10 @@ function mod_theme_uninstall($theme_name) {
 	$query->bindValue(':theme', $theme_name);
 	$query->execute() or error(db_error($query));
 
+	// Clean cache
+	Cache::delete("themes");
+	Cache::delete("theme_settings_".$theme);
+
 	header('Location: ?/themes', true, $config['redirect_http']);
 }