mediawiki updated to 1.23.15

mediawiki updated to 1.23.15

For the discussion of infrastructure improvements and changes.

Moderator: Moderators

Post Reply
abma
Spring Developer
Posts: 3493
Joined: 01 Jun 2009, 00:08

mediawiki updated to 1.23.15

Post by abma » 11 Oct 2016, 00:49

i've updated mediawiki to 1.23.15, nothing should have changed:

https://www.mediawiki.org/wiki/Release_ ... ki_1.23.15


edit: some minor thing broken: seems some special chars got converted to crap: but there are so few special chars that i don't want to find out what caused it / how to fix it. when you see one, please fix it! (imo not worth to revert to a backup where it possible it is broken as well)
0 x

User avatar
Forboding Angel
Evolution RTS Developer
Posts: 14408
Joined: 17 Nov 2005, 02:43

Re: mediawiki updated to 1.23.15

Post by Forboding Angel » 11 Oct 2016, 13:50

Nah not worth a revert. THanks for the update. BTW mantis looks awesome :-D
0 x

Post Reply

Return to “Infrastructure Development”