mediawiki updated to 1.23.15

mediawiki updated to 1.23.15

For the discussion of infrastructure improvements and changes.

Moderators: Moderators, Moderators

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

mediawiki updated to 1.23.15

Post by abma »

i've updated mediawiki to 1.23.15, nothing should have changed: ... 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: 14636
Joined: 17 Nov 2005, 02:43

Re: mediawiki updated to 1.23.15

Post by Forboding Angel »

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

Post Reply

Return to “Infrastructure Development”