' . 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 webhost about upgrading your PHP version. For more information please visit %s', PHP_VERSION, '

', 'this page.') . '

'; } 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';