Are you sure you want to delete the file WebScriptingSettingsValue.php?
WebScriptingSettingsValue.php