From e528b7ccf96bb30ba49225f951d25aea2bdb4822 Mon Sep 17 00:00:00 2001 From: Owen Voke Date: Wed, 19 Jun 2019 14:32:51 +0100 Subject: [PATCH] phpstorm: add page (#3117) --- pages/common/phpstorm.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 pages/common/phpstorm.md diff --git a/pages/common/phpstorm.md b/pages/common/phpstorm.md new file mode 100644 index 0000000000..fb5967ce55 --- /dev/null +++ b/pages/common/phpstorm.md @@ -0,0 +1,20 @@ +# phpstorm + +> A cross-platform IDE for PHP based on the JetBrains IntelliJ platform. +> More information: . + +- Open a specific directory: + +`phpstorm {{path/to/directory}}` + +- Open a file: + +`phpstorm {{path/to/file}}` + +- Open a file at a specific line: + +`phpstorm --line {{line_number}} {{path/to/file}}` + +- View the differences between two files: + +`phpstorm diff {{path/to/left_file}} {{path/to/right_file}}`