As explained in the link, there is no quick fix to the problem. It would take me few hours to reproduce the problem (setting up environment with MariaDB), apply the fix, test if all is working and send you the edited files. Hopefully, you would understand that I can’t spend that much time for each personal request I receive.
I will do the fix in the next update but that won’t be soon. You have the options to not use the leaderboards feature or to hire a developer to make the fix.