zeljkofilipin added a comment. |
I'm not sure how to reproduce this:
$ vagrant ssh
vagrant@vagrant:~$ cd /vagrant/mediawiki vagrant@vagrant:/vagrant/mediawiki$ php5 phpunit.php -bash: php5: command not found vagrant@vagrant:/vagrant/mediawiki$ which php5 vagrant@vagrant:/vagrant/mediawiki$ which php /usr/bin/php vagrant@vagrant:/vagrant/mediawiki$ php --version PHP 7.0.30-0+deb9u1 (cli) (built: Jun 14 2018 13:50:25) ( NTS ) Copyright (c) 1997-2017 The PHP Group Zend Engine v3.0.0, Copyright (c) 1998-2017 Zend Technologies with Zend OPcache v7.0.30-0+deb9u1, Copyright (c) 1999-2017, by Zend Technologies with Xdebug v2.5.0, Copyright (c) 2002-2016, by Derick Rethans
I've tried installing php5 in stretch, but looks like it's not available. 🤔
TASK DETAIL
EMAIL PREFERENCES
To: zeljkofilipin
Cc: zeljkofilipin, Addshore, Krinkle, Aklapper, JanZerebecki, bd808, Lahi, jgleeson, Gq86, GoranSMilovanovic, QZanden, LawExplorer, Luke081515, Wikidata-bugs, aude, Mbch331, jeremyb
Cc: zeljkofilipin, Addshore, Krinkle, Aklapper, JanZerebecki, bd808, Lahi, jgleeson, Gq86, GoranSMilovanovic, QZanden, LawExplorer, Luke081515, Wikidata-bugs, aude, Mbch331, jeremyb
_______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs