Changeset 3096731
- Timestamp:
- 06/03/2024 11:28:17 AM (8 weeks ago)
- Location:
- wp-plugin-manager
- Files:
-
- 6 added
- 4 edited
- 1 copied
Legend:
- Unmodified
- Added
- Removed
-
wp-plugin-manager/tags/1.2.3/includes/plugin-options-page.php
r3037365 r3096731 7 7 function htpm_submenu() { 8 8 add_menu_page( esc_html__('Plugin Manager', 'htpm'), esc_html__('Plugin Manager', 'htpm'), 'manage_options', 'htpm-options', 'htpm_options_page_html', 'dashicons-admin-plugins', 65 ); 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 9 25 } 10 26 -
wp-plugin-manager/tags/1.2.3/plugin-main.php
r3037365 r3096731 4 4 * Plugin URI: https://hasthemes.com/plugins/ 5 5 * Description: WP Plugin Manager is a WordPress plugin that allows you to disable plugins for certain pages, posts or URI conditions. 6 * Version: 1.2. 26 * Version: 1.2. 7 7 * Author: HasThemes 8 8 * Author URI: https://hasthemes.com/ … … 15 15 * Define path 16 16 */ 17 define( 'HTPM_PLUGIN_VERSION', '1.2. 2' );17 define( 'HTPM_PLUGIN_VERSION', '1.2.' ); 18 18 define( 'HTPM_ROOT_PL', __FILE__ ); 19 19 define( 'HTPM_ROOT_URL', plugins_url('', HTPM_ROOT_PL) ); … … 29 29 require_once HTPM_ROOT_DIR . '/includes/recommended-plugins/class.recommended-plugins.php'; 30 30 require_once HTPM_ROOT_DIR . '/includes/recommended-plugins/recommendations.php'; 31 31 if(is_admin()){ 32 include_once( HTPM_ROOT_DIR . '/includes/class-diagnostic-data.php'); 33 } 34 add_action('init', function() { 35 if(is_admin()){ 36 include_once( HTPM_ROOT_DIR . '/includes/class.notices.php'); 37 } 38 }); 32 39 /** 33 40 * Load text domain … … 38 45 } 39 46 add_action( 'init', 'htpm_load_textdomain' ); 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 40 82 41 83 … … 45 87 register_activation_hook( __FILE__, 'htpm_plugin_activation' ); 46 88 function htpm_plugin_activation(){ 89 90 91 47 92 if(empty(get_option('htpm_status')) || get_option('htpm_status')){ 48 93 update_option('htpm_status', 'active'); -
wp-plugin-manager/trunk/includes/plugin-options-page.php
r3037365 r3096731 7 7 function htpm_submenu() { 8 8 add_menu_page( esc_html__('Plugin Manager', 'htpm'), esc_html__('Plugin Manager', 'htpm'), 'manage_options', 'htpm-options', 'htpm_options_page_html', 'dashicons-admin-plugins', 65 ); 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 9 25 } 10 26 -
wp-plugin-manager/trunk/plugin-main.php
r3037365 r3096731 4 4 * Plugin URI: https://hasthemes.com/plugins/ 5 5 * Description: WP Plugin Manager is a WordPress plugin that allows you to disable plugins for certain pages, posts or URI conditions. 6 * Version: 1.2. 26 * Version: 1.2. 7 7 * Author: HasThemes 8 8 * Author URI: https://hasthemes.com/ … … 15 15 * Define path 16 16 */ 17 define( 'HTPM_PLUGIN_VERSION', '1.2. 2' );17 define( 'HTPM_PLUGIN_VERSION', '1.2.' ); 18 18 define( 'HTPM_ROOT_PL', __FILE__ ); 19 19 define( 'HTPM_ROOT_URL', plugins_url('', HTPM_ROOT_PL) ); … … 29 29 require_once HTPM_ROOT_DIR . '/includes/recommended-plugins/class.recommended-plugins.php'; 30 30 require_once HTPM_ROOT_DIR . '/includes/recommended-plugins/recommendations.php'; 31 31 if(is_admin()){ 32 include_once( HTPM_ROOT_DIR . '/includes/class-diagnostic-data.php'); 33 } 34 add_action('init', function() { 35 if(is_admin()){ 36 include_once( HTPM_ROOT_DIR . '/includes/class.notices.php'); 37 } 38 }); 32 39 /** 33 40 * Load text domain … … 38 45 } 39 46 add_action( 'init', 'htpm_load_textdomain' ); 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 40 82 41 83 … … 45 87 register_activation_hook( __FILE__, 'htpm_plugin_activation' ); 46 88 function htpm_plugin_activation(){ 89 90 91 47 92 if(empty(get_option('htpm_status')) || get_option('htpm_status')){ 48 93 update_option('htpm_status', 'active');
Note: See TracChangeset
for help on using the changeset viewer.