3.12.0.1

wp-media · Aug 22, 2022 · 9457955 · 9457955
2 parents 6e9c577 + 6155524
commit 9457955
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/inc/admin/upgrader.php b/inc/admin/upgrader.php
@@ -10,7 +10,7 @@
  */
 function rocket_upgrader() {
 	// Grab some infos.
-	$actual_version = get_rocket_option( 'version' );
+	$actual_version = (string) get_rocket_option( 'version' );
 	// You can hook the upgrader to trigger any action when WP Rocket is upgraded.
 	// first install.
 	if ( ! $actual_version ) {

diff --git a/wp-rocket.php b/wp-rocket.php
@@ -3,7 +3,7 @@
  * Plugin Name: WP Rocket
  * Plugin URI: https://wp-rocket.me
  * Description: The best WordPress performance plugin.
- * Version: 3.12
+ * Version: 3.12.0.1
  * Requires at least: 5.6
  * Requires PHP: 7.2
  * Code Name: Iego
@@ -20,7 +20,7 @@
 defined( 'ABSPATH' ) || exit;
 
 // Rocket defines.
-define( 'WP_ROCKET_VERSION',               '3.12' );
+define( 'WP_ROCKET_VERSION',               '3.12.0.1' );
 define( 'WP_ROCKET_WP_VERSION',            '5.6' );
 define( 'WP_ROCKET_WP_VERSION_TESTED',     '5.9' );
 define( 'WP_ROCKET_PHP_VERSION',           '7.2' );