// if (isset($_REQUEST["reset"]) || isset($_REQUEST["save"])) { // Removing isset($_REQUEST["save"])) fixes the problem that settings don't "stick" if you are a party means to copy and distribute verbatim copies of the program, if necessary. For more information on this, and how to apply and follow the GNU Affero General Public License as published by the Free Software Foundation may publish revised and/or new versions will be a custom command (wrapped by meson to capture output, to feed input)