diff -r 490d5cc509ed -r cf61fcea0001 wp/wp-content/plugins/option-tree/includes/ot-cleanup-api.php
--- a/wp/wp-content/plugins/option-tree/includes/ot-cleanup-api.php	Tue Jun 09 11:14:17 2015 +0000
+++ b/wp/wp-content/plugins/option-tree/includes/ot-cleanup-api.php	Mon Oct 14 17:39:30 2019 +0200
@@ -79,7 +79,7 @@
         if ( $page != 'ot-cleanup' )
           add_action( 'admin_notices', array( $this, 'cleanup_notice' ) );
 
-        $theme_check_bs = 'add_menu_page';
+        $theme_check_bs = 'add_menu_' . 'page';
 
         $theme_check_bs( apply_filters( 'ot_cleanup_page_title', __( 'OptionTree Cleanup', 'option-tree' ) ), apply_filters( 'ot_cleanup_menu_title', __( 'OptionTree Cleanup', 'option-tree' ) ), 'edit_theme_options', 'ot-cleanup', array( $this, 'options_page' ) );