plugin.php

<?php
/**
 * Plugin.
 *
 * @wp-plugin
 *
 * Version: 170727.27305
 * Text Domain: get-shortcode
 * Plugin Name: [get] Shortcode Pro
 *
 * Author: WP Sharks™
 * Author URI: https://wpsharks.com
 *
 * License: GPL-3.0+
 * License URI: http://www.gnu.org/licenses/gpl-3.0.html
 *
 * Plugin URI: https://wpsharks.com/product/get-shortcode-pro
 * Description: Shortcode to display various server-side info.
 */
// PHP v5.2 compatible.

if (!defined('WPINC')) {
    exit('Do NOT access this file directly.');
}
require dirname(__FILE__).'/src/includes/wp-php-rv.php';

if (require(dirname(__FILE__).'/src/vendor/websharks/wp-php-rv/src/includes/check.php')) {
    require_once dirname(__FILE__).'/src/includes/plugin.php';
} else {
    wp_php_rv_notice('Get Shortcode Pro');
}