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|The former system of global settings and user-specific settings has been replaced by user-specific settings only ({{Version/AndroidSince|since 2.5.0.}}).
=== List of settings ===
|}
=== AR settings ===
|}
=== Demo settings ===
