[MediaWiki-commits] [Gerrit] Followup ac8b7d54f81f7b3879a7e21c96b0d182a00618d2 fix broken... - change (mediawiki/core[master])

Daniel Friesen has uploaded a new change for review.

Change subject: Followup ac8b7d54f81f7b3879a7e21c96b0d182a00618d2 fix broken php detection
......................................................................

Followup ac8b7d54f81f7b3879a7e21c96b0d182a00618d2 fix broken php detection

Change-Id: Id78f14c220bbaa21b78c0c669a324f6169b3109d
---
M maintenance/dev/includes/php.sh
1 file changed, 1 insertion(+), 1 deletion(-)

  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/86/17786/1
--
To view, visit https://gerrit.wikimedia.org/r/17786
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Id78f14c220bbaa21b78c0c669a324f6169b3109d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Daniel Friesen <mediawiki <at> danielfriesen.name>