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
https://phabricator.wikimedia.org/T95899

EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/

To: zeljkofilipin
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

Reply via email to