Changes

MediaWiki-Vagrant runs on <strike>HHVM</strike><ref>Facecrook announced in Sept. 2017 that HHVM would not aim for PHP compatibility in the future.[1] After discussion[2] WMF adopted a plan to migrate the WMF production cluster to PHP 7. Once that's done, HHVMsupport will likely be dropped from MediaWiki (exact details tbd). See task T176209. It simultaneously runs on </ref> PHP7-FPM with Apache, but at a more complex host schemeetc.  To convert all wikis enable certain roles in your MediaWiki-Vagrant instance to PHP5: <code>vagrant roles enable zend <role> && vagrant provision</code> Once you do this, and visit http://localhost:8080/wiki/Special:Version, you will see '''PHP''' displayed where '''HHVM''' used to be in can check the product box showing the currently running versions of 'MediaWiki, PHP, MySQL, ICU' and extensions. == DNS ==MediaWiki Vagrant docs will tell you to visit http://dev.wiki.local.wmftest.net:8080/wiki which is fine, because this specific domain routes to 127.0.0.1 (your local host). There's nothing you have to do with DNS. All three of the following are equivalent.* http://localhost:8080/wiki/Special:Version* http://127.0.0.1:8080/wiki/Special:Version* http://dev.wiki.local.wmftest.net:8080/wiki/Special:Version