Backport more tools for work flavour

php_tools/phpmd/README.md

@@ -0,0 +1,8 @@
+# PHPMD
+
+PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.
+
+| Platform | Url                                                              |
+|----------|------------------------------------------------------------------|
+| GitHub   | https://github.com/phpmd/phpmd                                   |
+| Website  | https://phpmd.org/                                               |

php_tools/phpmd/install.yml

@@ -0,0 +1,8 @@
+---
+
+check: phpmd --version | grep -E '^PHPMD [0-9][.0-9]+' || (phpmd --version; false)
+
+all:
+  type: custom
+  command: curl -sS -k -L --fail https://phpmd.org/static/latest/phpmd.phar -L -o /usr/local/bin/phpmd
+  post: chmod +x /usr/local/bin/phpmd

php_tools/phpmd/options.yml

@@ -0,0 +1,11 @@
+---
+
+# The name of the module
+name: phpmd
+
+# Exclude module build/installation for the following PHP versions
+exclude: [5.2]
+
+# In order for this tool to build/install correctly,
+# the following tools must have been installed first.
+depends: []