true]); if (!empty($getSettingsFile)) { echo $getSettingsFile; } else { echo "
No settings found for this plugin.
"; } } ?>