diff --git a/platform/platform-resources/src/checkedPlugins.txt b/platform/platform-resources/src/checkedPlugins.txt index 597933d932a1..8d3705933fbc 100644 --- a/platform/platform-resources/src/checkedPlugins.txt +++ b/platform/platform-resources/src/checkedPlugins.txt @@ -37,4 +37,5 @@ com.jetbrains.php.wordPress org.jetbrains.plugins.phpstorm-remote-interpreter com.jetbrains.php.behat com.jetbrains.php.blade -com.jetbrains.performancePlugin \ No newline at end of file +com.jetbrains.performancePlugin +Docker \ No newline at end of file