Closed mallardduck closed 5 years ago
This PR adds an option to disable PHP file extensions so that users can work around issue #41 .
This PR adds a functional workaround for the issues reported in #41.
I have built and tested the change locally.
@mallardduck Thanks for your contribution! Really sorry for my late response
@mallardduck This is released along with v0.6.0, thank you.
v0.6.0
Description
This PR adds an option to disable PHP file extensions so that users can work around issue #41 .
Motivation and Context
This PR adds a functional workaround for the issues reported in #41.
How Has This Been Tested?
I have built and tested the change locally.
Types of changes
Checklist: