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

Use array_key_exists instead of in_array + array_keys #14224

Merged
merged 1 commit into from Apr 23, 2018
Merged

Use array_key_exists instead of in_array + array_keys #14224

merged 1 commit into from Apr 23, 2018

Conversation

carusogabriel
Copy link
Contributor

Before submitting pull request, please check that every commit:

  • Has proper Signed-Off-By
  • Has commit message which describes it
  • Is needed on it's own, if you have just minor fixes to previous commits, you can squash them
  • Any new functionality is covered by tests

Signed-off-by: Gabriel Caruso <carusogabriel34@gmail.com>
@MauricioFauth MauricioFauth merged commit 12247e9 into phpmyadmin:master Apr 23, 2018
@MauricioFauth
Copy link
Member

Merged, thanks for your contribution!

@MauricioFauth MauricioFauth self-assigned this Apr 23, 2018
@MauricioFauth MauricioFauth added this to the 5.0.0 milestone Apr 23, 2018
@carusogabriel carusogabriel deleted the array-key-exists branch April 23, 2018 23:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants