72636bc2f6
Since all options controlled by the config.php parameters can now be overridden directly, there's no reason to keep them around.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.