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.

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

1220: avoid indexing not existing plugin classes #1266

Merged
merged 3 commits into from
Dec 17, 2022

Conversation

vitaliyboykocontributor
Copy link
Contributor

@vitaliyboykocontributor vitaliyboykocontributor commented Dec 17, 2022

Description (*)
Added check whether plugin PHP class exists before indexing it.

Fixed Issues (if relevant)

  1. Fixes Bug Report 2022/12/02 #1256
  2. Fixes [Bug] Throwable: Stub index points to a file without PSI #1232
  3. Fixes Bug Report 2022/11/04 #1241
  4. Fixes Bug Report 2022/11/24 #1255

Questions or comments

Contribution checklist (*)

  • Pull request has a meaningful description of its purpose
  • All commits are accompanied by meaningful commit messages
  • All new or changed code is covered with integration/functional tests (if applicable)
  • All automated tests passed successfully (all builds are green)

@VitaliyBoyko VitaliyBoyko merged commit eb4d524 into 5.0.1-develop Dec 17, 2022
@VitaliyBoyko VitaliyBoyko deleted the 1220_not_index_no_psi_plugins branch December 17, 2022 14:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants