Customise Extension for WP Job Manager support in Elementor Pro WordPress plugin

/*
 * Plugin Name:       Extension for WP Job Manager support in Elementor Pro Child Plugin
 * Plugin URI:        https://www.wordpressdeveloperlondon.com/extension-for-wp-job-manager-support-in-elementor-pro-child/
 * Description:       Custom Extension for WP Job Manager support in Elementor Pro plugin code dependant on Extension for WP Job Manager support in Elementor Pro plugin
 * Version:           1.0.1
 * Requires at least: 5.2
 * Requires PHP:      7.2
 * Author:            wordpressdeveloperlondon
 * Author URI:        https://www.wordpressdeveloperlondon.com
 * License:           GPLv3
 * License URI:       https://www.gnu.org/licenses/gpl-3.0.txt
 * Text Domain:       extension-for-wp-job-manager-support-in-elementor-pro-child
 * Domain Path:       /languages
 * Requires Plugins:  extension-for-wp-job-manager-support-in-elementor-pro
 */

/*
 * -----------------------------------------------------------------------------------------------------
 * WordPress plugin ID: 13272 extension-for-wp-job-manager-support-in-elementor-pro-child version 1.0.1
 * WordPress plugin dependancy: Extension for WP Job Manager support in Elementor Pro
 * -----------------------------------------------------------------------------------------------------
 */

if((get_option("wordpressdeveloperlondon_settingwordpress_seo_13272")) != 1) 
{
	function wordpressdeveloperlondon_files_wordpress_seo_13272()
	{
		$plugin_url = plugin_dir_url(__FILE__);

		wp_enqueue_style("wordpress_seo_13272-stylesheet", $plugin_url . "css/style.css");
		wp_enqueue_script("wordpress_seo_13272-script", $plugin_url . "js/scripts.js", array("jquery"), "1.0.0", true);
	}
	add_action("wp_enqueue_scripts", "wordpressdeveloperlondon_files_wordpress_seo_13272", 80);
}

if(get_option("wordpressdeveloperlondon_setting_htmlwordpress_seo_13272") != 1)
{
	function plugin_sourcewordpress_seo_13272()
	{