diff --git a/doc/config.rst b/doc/config.rst index f647871d99..5efd346242 100644 --- a/doc/config.rst +++ b/doc/config.rst @@ -3214,6 +3214,12 @@ Developer Enable to let server present itself as demo server. This is used for `phpMyAdmin demo server `_. + It currently changes following behavior: + + * There is welcome message on the main page. + * There is footer information about demo server and used git revision. + * The setup script is enabled even with existing configuration. + .. _config-examples: Examples diff --git a/setup/index.php b/setup/index.php index 97d446251e..594716dcfe 100644 --- a/setup/index.php +++ b/setup/index.php @@ -12,7 +12,7 @@ */ require './lib/common.inc.php'; -if (file_exists(CONFIG_FILE)) { +if (file_exists(CONFIG_FILE) && ! $cfg['DBG']['demo']) { PMA_fatalError(__('Configuration already exists, setup is disabled!')); }