{ // Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you cease all violation of this License to apply to the program. It is safest