mokraemer

if you do this per column, yes. And you can only the the column itself. So it is better to specify it as a general constraint, this way you can...

sorry for the late reply: ``` class test{ private static function useJson(string $text): never{ echo $text; exit; } public static function dieWithError(string $text, string $protocol): never{//@phan-suppress-current-line PhanPluginAlwaysReturnMethod match($protocol){ 'json' =>...

is there any news on that "base" feature?

found: a cookie previously created by an old version causes tine to fail. After removing the old session cookie, it works again - but other users may have the same...

No. I didn't know the changes of the version affects stored session information.

do you have a link on how to make mantis send html mails? I did not find anything here. Maybe some help in "Process email" on how to enable it...

[grow.txt](https://github.com/ehynds/jquery-ui-multiselect-widget/files/13662254/grow.txt) Patch for grow option

output of the merge is german.json I added a global list, with some general words not to include in the index in any language. Feel free to add it. [german.json](https://github.com/user-attachments/files/18786609/german.json)...

sure, as it was merged. It is fine for me.

You're right, in firefox the shortcut is blocked by the browser's own. I don't think it is a good idea to have additional shortcuts for functions that can be reached...