| 1 |
<?php |
| 2 |
|
| 3 |
/* |
| 4 |
Plugin Name: Responsive Menu |
| 5 |
Plugin URI: https://responsive.menu |
| 6 |
Description: Highly Customisable Responsive Menu Plugin for WordPress |
| 7 |
Version: 3.1.23 |
| 8 |
Author: Peter Featherstone |
| 9 |
Text Domain: responsive-menu |
| 10 |
Author URI: https://responsive.menu |
| 11 |
License: GPL2 |
| 12 |
Tags: responsive, menu, responsive menu |
| 13 |
*/ |
| 14 |
|
| 15 |
add_action('admin_init', 'check_responsive_menu_php_version'); |
| 16 |
function check_responsive_menu_php_version() { |
| 17 |
if(version_compare(PHP_VERSION, '5.4', '<')): |
| 18 |
add_action('admin_notices', 'responsive_menu_deactivation_text'); |
| 19 |
deactivate_plugins(plugin_basename(__FILE__)); |
| 20 |
endif; |
| 21 |
} |
| 22 |
|
| 23 |
function responsive_menu_deactivation_text() { |
| 24 |
echo '<div class="error"><p>' . sprintf( |
| 25 |
'Responsive Menu requires PHP 5.4 or higher to function and has therefore been automatically disabled. |
| 26 |
You are still on %s.%sPlease speak to your web host about upgrading your PHP version.', |
| 27 |
PHP_VERSION, |
| 28 |
'<br /><br />' |
| 29 |
) . '</p></div>'; |
| 30 |
} |
| 31 |
|
| 32 |
if(version_compare(PHP_VERSION, '5.4', '<')) |
| 33 |
return; |
| 34 |
|
| 35 |
include dirname(__FILE__) . '/vendor/autoload.php'; |
| 36 |
include dirname(__FILE__) . '/config/default_options.php'; |
| 37 |
include dirname(__FILE__) . '/config/services.php'; |
| 38 |
include dirname(__FILE__) . '/config/wp/scripts.php'; |
| 39 |
include dirname(__FILE__) . '/config/routing.php'; |
| 40 |
include dirname(__FILE__) . '/migration.php'; |
| 41 |
include dirname(__FILE__) . '/config/polylang.php'; |
| 42 |
|
