mirror/php-rss-bridge
1
0
Fork 0
mirror of https://github.com/RSS-Bridge/rss-bridge.git synced 2025-09-03 05:02:43 +02:00
Code Issues Releases Wiki Activity

[Core] Activate live linting in codespaces (#3293)

Browse Source 
* [Core] Add live linting to devcontainer

* Deactivate lint on type
This commit is contained in:
Bocki
2023-03-08 18:39:50 +01:00
committed by GitHub
parent 783160e715
commit 90bf5518cb
3 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.devcontainer/xdebug.ini
View File

@@ -1,5 +1,3 @@
zend_extension=xdebug.so
[xdebug]
xdebug.mode=develop,debug
xdebug.client_host=localhost