Fix plugin savepoint version (errours merge with main)

Menrath · Menrath · commit ec69f0215d98 · 2025-01-09T11:53:46.000+01:00
diff --git a/db/upgrade.php b/db/upgrade.php
@@ -508,7 +508,7 @@ function xmldb_theme_boost_union_upgrade($oldversion) {
         }
 
         // Boost_union savepoint reached.
-        upgrade_plugin_savepoint(true, 2024100706, 'theme', 'boost_union');
+        upgrade_plugin_savepoint(true, 2024100709, 'theme', 'boost_union');
     }
 
     // Load the builtin SCSS snippets into the database.

Original file line number	Diff line number	Diff line change
`@@ -508,7 +508,7 @@ function xmldb_theme_boost_union_upgrade($oldversion) {`
`508`	`508`	`}`
`509`	`509`
`510`	`510`	`// Boost_union savepoint reached.`
`511`		`- upgrade_plugin_savepoint(true, 2024100706, 'theme', 'boost_union');`
	`511`	`+ upgrade_plugin_savepoint(true, 2024100709, 'theme', 'boost_union');`
`512`	`512`	`}`
`513`	`513`
`514`	`514`	`// Load the builtin SCSS snippets into the database.`