PhpStorm minor texts/titles fixes

This commit is contained in:
Mikhail Vink 2015-08-12 12:14:14 +02:00
parent 4f0a81d079
commit 47b96fc7e1
4 changed files with 8 additions and 5 deletions

View File

@ -89,9 +89,9 @@
* [List and Tree Controls](user_interface_components/lists_and_trees.md)
* [Miscellaneous Swing Components](user_interface_components/misc_swing_components.md)
* [PhpStorm](phpstorm/phpstorm.md)
* [Setting-up the environment](phpstorm/setting_up_environment.md)
* [Setting-up the Environment](phpstorm/setting_up_environment.md)
* [PHP Open API](phpstorm/php_open_api.md)
* [Existing 3rd party plugins](phpstorm/existing_plugins.md)
* [Existing Third Party Plugins](phpstorm/existing_plugins.md)
* [Tutorials](tutorials.md)
* [Custom Language Support](tutorials/custom_language_support_tutorial.md)
* [1. Prerequisites](tutorials/custom_language_support/prerequisites.md)

View File

@ -1,5 +1,5 @@
---
title: Existing Third Party Framework-specific Plugins
title: Existing Third Party Plugins
---
## Symfony2 Plugin

View File

@ -1,5 +1,5 @@
---
title: Plugin Development
title: PhpStorm Plugin Development
---
Plugins for PhpStorm are developed in Java using IntelliJ IDEA (Community Edition is sufficient in this case). You will also need a copy of PhpStorm to develop against. The [PsiViewer plugin](https://plugins.jetbrains.com/plugin/?pluginId=227) will also be useful.

View File

@ -1,13 +1,15 @@
---
title: Setting-up Environment for PhpStorm Plugin Development
title: Setting-up the Environment for PhpStorm Plugin Development
---
## General information
Follow steps that are described at [Getting Started with Plugin Development](http://confluence.jetbrains.com/display/IDEADEV/Getting+Started+with+Plugin+Development).
There are two ways to develop plugins for PhpStorm:
1. Use IntelliJ IDEA Ultimate with the PHP plugin installed.
2. Use PhpStorm as a targeted IDE in a first place.
The choice affects how you will configure SDK for the plugin. In the first case you need to specify current installation of IntelliJ IDEA as SDK and in the second case you need to specify current installation of PhpStorm. This step is described in [Getting Started with Plugin Development](https://confluence.jetbrains.com/display/IDEADEV/Getting+Started+with+Plugin+Development).
## How to use OpenAPI library
@ -22,6 +24,7 @@ This section explains how to configure IntelliJ IDEA for using PhpStorm OpenAPI.
2. Select **Libraries**
3. Press **Add** button
4. Find and select `php-openapi.jar` and `php.jar`. They are located in `<your_installation_of_PhpStorm>/plugins/php/lib`.
![Adding Library](img/AddingLibrary.png)
5. Agree to add the libraries to your Module
6. Open **Modules \| Dependencies** and change **Scope** to **Provided**. This step is necessary because otherwise `ClassCastException` will be thrown because two instances of the library will be loaded via different class loaders