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

Typehints #208

Open
wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Typehints #208

wants to merge 8 commits into from

Commits on May 11, 2020

  1. Add test-framework

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    e2c75b9 View commit details
    Browse the repository at this point in the history
  2. Set visibility on constants

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    7d1be85 View commit details
    Browse the repository at this point in the history
  3. PSR-12 compliancy

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    a189989 View commit details
    Browse the repository at this point in the history
  4. Remove unused code

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    4bd1979 View commit details
    Browse the repository at this point in the history
  5. PHPCS; PSR-12

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    56037be View commit details
    Browse the repository at this point in the history
  6. Fully typehint source

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    c51dc5b View commit details
    Browse the repository at this point in the history
  7. Shorthand arrays

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    10338ad View commit details
    Browse the repository at this point in the history
  8. Psalm-fixes

    tvdijen committed May 11, 2020
    Configuration menu
    Copy the full SHA
    86d6bb0 View commit details
    Browse the repository at this point in the history