Enabling "extension=sodium" in php.ini makes absolutely no difference here, using PHP 8.4.7.

Hi. Sorry, I didn't notice this until now as I didn't get any notification.

This is what I was expecting to see.

This also affects desktops with a table large enough, say 300 KB, so it's not mobile only. Under those circumstances the extension is virtually unusable.

It was a simple oversight on my side, related to magnification in the web browser. My bad, sorry.

I noticed the minimum MW version required isn't updated too often either, I changed that from 1.25 to 1.27 earlier today to match what the extension distributor provides (>= 1.27).

I tried now with the latest git snapshot and it works, so I suppose you can disregard this report. Apologies for the inconvenience.

(edited)

In T135972#2318597, @Aklapper wrote:

In T135972#2317532, @tactica wrote:

So this is documented in a meta page that was rejected to go in mediawiki.org.

Can you elaborate? Which meta page? Where was someone "rejected"?

On second thoughts, helppage-top-gethelp is only a label, so I still can't make the link point elsewhere, e.g. a local help page. So the feature request is still valid...

So this is documented in a meta page that was rejected to go in mediawiki.org. Weird. I was just looking for the "meta.wikimedia" string in the list - the search feature in Special:AllMessages isn't exactly helpful as it only allows to search for string IDs. Though in this case even being able to search into arguments would fail.

This is unit #111:

Oh and while you're at it, try to translate string #140 without getting a broken numbered list.

FWIW, this is not only about <br/>, it's about unmatched "special" chars in general. String #131 in the same file poses the same problem due to ")" being used to list a few items in a sentence.

OK, I'm told collation is utf8_general_ci

$wgDBTableOptions = "ENGINE=InnoDB, DEFAULT CHARSET=binary";

This is MariaDB 10.0.20. As for collation, I'm not sure - this is a shared server and MW was installed by someone else long ago. How do I find out?