Updated PHP-doc in Settingsform