Changes
/* Available settings */
== Available settings ==
All users have at least access to all settings statet in [[#List of settings|List of settings]]. Additional settings, namely the [[#AR settings|AR settings]] or [[#Demo settings|Demo settings]] are only available if the regarding plugin is part of the application built. {{Tip/Version|Since version 2.5.0 the former system of global settings and user-specific settings has been replaced by user-specific settings only.}}
=== List of settings ===
|}
=== AR settings ===
