From 382498d1ebb0824785d3f652e3dded041d12b505 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Thu, 8 Jun 2017 15:06:42 +0200
Subject: [PATCH] Add dev/+php

---
 dev/+php/env.zsh |  1 +
 dev/+php/install | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 dev/+php/env.zsh
 create mode 100755 dev/+php/install

diff --git a/dev/+php/env.zsh b/dev/+php/env.zsh
new file mode 100644
index 00000000..d018f09e
--- /dev/null
+++ b/dev/+php/env.zsh
@@ -0,0 +1 @@
+path=(~/.composer/vendor/bin $path)
diff --git a/dev/+php/install b/dev/+php/install
new file mode 100755
index 00000000..ab16abb6
--- /dev/null
+++ b/dev/+php/install
@@ -0,0 +1,19 @@
+#!/usr/bin/env bash
+
+case $OSTYPE in
+    darwin*)
+        brew tap homebrew/homebrew-php
+        brew install php71 composer
+        ;;
+    linux*)
+        if [[ -f /etc/arch-release ]]; then
+            sudo pacman --needed --noconfirm -S php composer
+        fi
+        ;;
+esac
+
+# global packages
+composer global require \
+    d11wtq/borus \
+    phpunit/phpunit \
+    techlivezheng/phpctags