IJSDK-528 Cleanup: Move /phpstorm under /products

_SUMMARY.md

@@ -213,10 +213,10 @@
 * [IntelliJ IDEA](products/idea.md)
     * [Tomcat Integration](reference_guide/tomcat_integration.md)
     * [Spring API](reference_guide/frameworks_and_external_apis/spring_api.md)
-* [PhpStorm](phpstorm/phpstorm.md)
-    * [Setting-up the Environment](phpstorm/setting_up_environment.md)
-    * [PHP Open API](phpstorm/php_open_api.md)
-    * [Existing Third Party Plugins](phpstorm/existing_plugins.md)
+* [PhpStorm](products/phpstorm/phpstorm.md)
+    * [Setting-up the Environment](products/phpstorm/setting_up_environment.md)
+    * [PHP Open API](products/phpstorm/php_open_api.md)
+    * [Existing Third Party Plugins](products/phpstorm/existing_plugins.md)
 * [PyCharm](products/pycharm.md)
 * DataGrip
 * Android Studio

products/phpstorm/existing_plugins.md

@@ -1,5 +1,7 @@
 ---
 title: Example PhpStorm Third Party Plugins
+redirect_from:
+  - /phpstorm/existing_plugins.html
 ---
 
 This page lists some example PhpStorm plugins created by third party developers.

products/phpstorm/php_open_api.md

@@ -1,5 +1,7 @@
 ---
 title: PHP Open API
+redirect_from:
+  - /phpstorm/php_open_api.html
 ---
 
 ## Using php-openapi

products/phpstorm/phpstorm.md

@@ -1,5 +1,7 @@
 ---
 title: PhpStorm Plugin Development
+redirect_from:
+  - /phpstorm/phpstorm.html
 ---
 
 ### Development and Testing Tools

products/phpstorm/setting_up_environment.md

@@ -1,5 +1,7 @@
 ---
 title: Setting-up the Environment for PhpStorm Plugin Development
+redirect_from:
+  - /phpstorm/setting_up_environment.html
 ---
 
 ### General information