fix: #1410 - webtools not enabled by default - Githubissues

phalcon / phalcon-devtools

Phalcon Developer Tools

https://docs.phalcon.io/latest/en/devtools

Other

1.33k stars 630 forks source link

fix: #1410 - webtools not enabled by default #1450

Closed jenovateurs closed 4 years ago

jenovateurs commented 4 years ago

Hello team!

By default webtools is no more activated by default. And I made a two tests to check it. One to check that without --enable-webtools, there are no webtools files. With --enable-webtools, I check, if the files webtools.php and webtools.config.php are in the folder.

Type: bug fix
Link to issue: #1410

In raising this pull request, I confirm the following (please check boxes):

[x] I have read and understood the Contributing Guidelines
[x] I have checked that another pull request for this purpose does not exist
[x] I wrote some tests for this PR

Thanks

jenovateurs commented 4 years ago

After https://github.com/phalcon/phalcon-devtools/pull/1449 will be merge, the error Psalm in this PR will be gone. I just need to rebase after.