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