Differences
This shows you the differences between the selected revisions of the page.
| 2023-05-30 | 2023-05-30 | ||
| extension tooltip escape bug (martin) | bug 1892 (martin) | ||
| Line 15: | Line 15: | ||
| * Translations completed: Brazilian Portuguese, Farsi and Portuguese. | * Translations completed: Brazilian Portuguese, Farsi and Portuguese. | ||
| + | * Support for file masks in //Keep local directory up to date// extension. [[bug>1892]]. | ||
| * Bug fix: Patterns in default values of extension options were escaped in an extension tooltip. | * Bug fix: Patterns in default values of extension options were escaped in an extension tooltip. | ||