' . sprintf( 'Responsive Menu requires PHP 5.4 or higher to function and has therefore been automatically disabled. You are still on %s.%sPlease speak to your web host about upgrading your PHP version.', PHP_VERSION, '

' ) . '

'; } if(version_compare(PHP_VERSION, '5.4', '<')) return; include dirname(__FILE__) . '/vendor/autoload.php'; include dirname(__FILE__) . '/config/default_options.php'; include dirname(__FILE__) . '/config/services.php'; include dirname(__FILE__) . '/config/wp/scripts.php'; include dirname(__FILE__) . '/config/routing.php'; include dirname(__FILE__) . '/migration.php'; include dirname(__FILE__) . '/config/polylang.php';