Merging github pull request, occasionally accepted directly in github repository phpstorm/171.3039
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 7 Feb 2017 10:59:43 +0000 (13:59 +0300)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 7 Feb 2017 10:59:43 +0000 (13:59 +0300)
commit23e1ac81336a198d6a2d46a1c19d1983a2cbb655
tree5911511726c6467bd8ed109fdefeb62fe2cbda9d
parent29e5ef59f774bb8eb0378e212ef0fff5498a3d35
parent388922655e1e896bd8e1f39a804175950abc4ae7
Merging github pull request, occasionally accepted directly in github repository