Johannes Meyer 37a972cf75 dashboard: Differentiate between `name` and `title` ... The former is the original name while title may be changed by the user. This change is strictly necessary for the references bug and should also be introduced when rewriting this mess. refs #3542		2019-07-18 08:33:35 +02:00
..
helpers	Remove unused attributes from the date time picker element	2017-07-04 10:32:30 +02:00
scripts	dashboard: Differentiate between `name` and `title`	2019-07-18 08:33:35 +02:00