*/ $title = $plugin_data['Name']; $description = __('A plugin for creating a Leaflet JS map with a shortcode. Boasts two free map tile services and three free geocoders.', 'leaflet-map'); $version = $plugin_data['Version']; ?>

version:

options as $name => $option) { if (!$option->type) continue; /* checkboxes don't get sent if not checked */ if ($option->type === 'checkbox') { $form[$name] = isset($_POST[ $name ]) ? 1 : 0; } $value = trim( stripslashes( $form[$name]) ); $settings->set($name, $value); } ?>

reset(); ?>

options as $name => $option) { if (!$option->type) continue; ?>
helptext) { ?>

helptext; ?>

Leaf icon provided by Font Awesome, under their free license.