37c275
rename mediawiki_1_27 to mediawiki and make version configurable For now, keep everything at 1_27, so the highstate result won't change with this commit.