Merge pull request #963 from goldshtn/utools-php
author4ast <alexei.starovoitov@gmail.com>
Mon, 13 Feb 2017 15:58:06 +0000 (07:58 -0800)
committerGitHub <noreply@github.com>
Mon, 13 Feb 2017 15:58:06 +0000 (07:58 -0800)
u* tools: PHP support


Trivial merge