Greg Karékinian f1e042d23a Update mediawiki ...

Also add a comment about running the update script

2017-03-25 12:32:02 +01:00

..

default.rb

Update mediawiki

2017-03-25 12:32:02 +01:00