Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Generate infection.json (without .dist postfix) by default #1554

Merged
merged 2 commits into from Aug 11, 2021
Merged

Generate infection.json (without .dist postfix) by default #1554

merged 2 commits into from Aug 11, 2021

Commits on Aug 11, 2021

  1. Generate infection.json (without .dist postfix), because it's a j… 

    …son file and **any** IDE automatically understands it.

Currently, generated `.dist` file is not recognized as JSON file by PHPStorm, which makes it work like usual text file, where JSON autocompletion won't work
    @maks-rafalko
    maks-rafalko committed Aug 11, 2021
    Configuration menu
    Copy the full SHA
    e70183a View commit details
    Browse the repository at this point in the history

  2. Rename infection.json.dist to infection.json

    @maks-rafalko
    maks-rafalko committed Aug 11, 2021
    Configuration menu
    Copy the full SHA
    3eff3fd View commit details
    Browse the repository at this point in the history