diff --git a/out/out.Settings.php b/out/out.Settings.php index 8ac7401d1..7c5d5c725 100644 --- a/out/out.Settings.php +++ b/out/out.Settings.php @@ -412,6 +412,27 @@ if(!is_writeable($settings->_configFilePath)) { : _enableAdminRevApp) echo "checked" ?> /> + "> + : + _enableVersionDeletion) echo "checked" ?> /> + + "> + : + _enableVersionModification) echo "checked" ?> /> + + + + + "> + : + _enableOwnerNotification) echo "checked" ?> /> + + "> + : + _enableNotificationAppRev) echo "checked" ?> /> +