Better sorting

Currently, this page isn't being sorted correctly. Here's what I see:

Groups of order 1 Groups of order 10 Groups of order 100 Groups of order 1000 Groups of order 1008 Groups of order 1024 Groups of order 1056 Groups of order 108 Groups of order 1080 Groups of order 1092 Groups of order 1100 Groups of order 112 Groups of order 1120 Groups of order 1152

It's sorting by the numbers on a digit-by-digt way, which is weird.

To sort it correctly, I think something needs to be enabled in PHP that I can't access, see [1].

r-a-jones 09:22, 6 June 2023 (UTC)