From: Roman Shevchenko Date: Fri, 5 Feb 2016 12:08:20 +0000 (+0300) Subject: Merge pull request #351 (https://github.com/JetBrains/intellij-community/pull/351) X-Git-Tag: phpstorm/144.3774~7 X-Git-Url: https://git.jetbrains.org/?p=idea%2Fcommunity.git;a=commitdiff_plain;h=6b6c63bb22191602e344ca2724247f6261f88294 Merge pull request #351 (https://github.com/JetBrains/intellij-community/pull/351) --- 6b6c63bb22191602e344ca2724247f6261f88294