util/__init__.py
| author |
Edouard Tisserant |
|
Mon, 15 Jun 2020 14:27:58 +0200 |
| changeset 2672 |
4bc60e426dd6 |
| parent 742 |
41a4a560406c
|
| permissions |
-rw-r--r-- |
Runtime extrension web settings: distinguish display string and token when calling NS.newExtensionSetting, thus allowing meaningful name to be displayed instead of an id.