[devkit]: PluginPlatformInfo - accept platform version in more formats
authorJakub Chrzanowski <jakub.chrzanowski@jetbrains.com>
Mon, 19 Oct 2020 16:56:14 +0000 (18:56 +0200)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Fri, 20 Nov 2020 11:24:51 +0000 (11:24 +0000)
commit94ef4cd73a2208412745cb5b5e0cdc18ccbc4502
tree5516cf407e0a857dedc5086c3fc54c317c2fd3fc
parent1b4d84bc78e3fcaff6f103d8fabdd9e6c8fd1667
[devkit]: PluginPlatformInfo - accept platform version in more formats

GitOrigin-RevId: 402786637b0072534816c0f72f7d8a52feec0447
plugins/devkit/devkit-core/src/util/PluginPlatformInfo.java
plugins/devkit/devkit-java-tests/testSrc/org/jetbrains/idea/devkit/util/PluginPlatformInfoTest.java