Oct 6 2017
Oct 2 2017
Thanks a lot. It works !
My bad, that should have struck me.
So shall I go for git clone https://gerrit.wikimedia.org/r/p/mediawiki/core.git ?
@Tgr after adding mediawiki (from https://www.mediawiki.org/wiki/Download, following all steps) to vagrant folder and destroying the machine, after vagrant up localhost:8080 shows "no wiki found".
The solution here does not work for me. T177163
Oct 1 2017
inside the 'vagrant' folder there is no 'mediawiki' folder.
Sep 29 2017
Sep 28 2017
Same error and changing permissions doesn't work.