Add PHP settings

Signed-off-by: Severin Kaderli <severin@kaderli.dev>
This commit is contained in:
Severin Kaderli 2019-06-19 13:51:17 +02:00
parent 195de4363e
commit c618940012
Signed by: severinkaderli
GPG key ID: F419F8835B72F0C4
4 changed files with 46 additions and 2 deletions

10
.gitignore vendored
View file

@ -22,10 +22,18 @@ system/.config/i3/config
system/.config/gtk-2.0/gtkfilechooser.ini
# PhpStorm Configuration
system/.config/phpstorm/config/port.lock
system/.config/phpstorm/config/port
system/.config/phpstorm/config/tasks
system/.config/phpstorm/config/plugins
system/.config/phpstorm/system
system/.config/phpstorm/config/phpstorm.key
system/.config/phpstorm/config/options/dimensions.xml
system/.config/phpstorm/config/options/debugger.xml
system/.config/phpstorm/config/options/images.support.xml
system/.config/phpstorm/config/options/other.xml
system/.config/phpstorm/config/options/project.default.xml
system/.config/phpstorm/config/options/updates.xml
system/.config/phpstorm/config/options/usage.statistics.xml
system/.config/phpstorm/config/options/usage.statistics.xml
system/.config/phpstorm/config/options/recentProjectDirectories.xml
system/.config/phpstorm/config/options/window.manager.xml