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

Configurable repositories #1

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
Open

Configurable repositories #1

wants to merge 10 commits into from

Conversation

afilina
Copy link
Sponsor Collaborator

@afilina afilina commented Jan 28, 2021 •
edited

Although we can configure the sources, there's work remaining to properly detect symbols on a variety of projects using roave/BetterReflection.

  • Downgraded nikic/php-parser and its dependents to avoid PHP 8 warnings with roave/BetterReflection (obviously not all repos are PHP 8).
  • Configuration is validated and parsed from xml files, with .dist having lower priority.
  • Enabled scanning remote git repos and local folders.
  • Added new integration tests for old code.
  • Renamed and cleaned up things.

Sorry for big PR.

@afilina afilina requested review from jrfnl and wimg January 28, 2021 01:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jrfnl jrfnl Awaiting requested review from jrfnl

@wimg wimg Awaiting requested review from wimg

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@afilina