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
..
DashletForm.php	dashboard: Differentiate between `name` and `title`	2019-07-18 08:33:35 +02:00