langemeijer/phpstorm-deb — pull request #6 by verwilst (2014-02-11 11:34:16+00:00)
Title: Update for 7.1.x and some general cleanups

Hello, would it be possible to merge this to make it usable again out of the box for the latest releases?

Thanks!