K 10
svn:author
V 3
pfg
K 8
svn:date
V 27
2020-05-11T21:12:13.886786Z
K 7
svn:log
V 265
devel/jetbrains-phpstorm: major update to version 2020.1.1

Pass maintainership to Dmitry Wagin, who has been submitting fine updates
from the start.

Release Notes:
	https://www.jetbrains.com/phpstorm/whatsnew/

PR:		246362
Approved by:	thierry (mentor, implicit)

END