Skip to content
This repository was archived by the owner on Sep 20, 2021. It is now read-only.

chore(php) Move to PHP 7 #99

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

chore(php) Move to PHP 7 #99

wants to merge 5 commits into from

Conversation

Hywan
Copy link
Member

@Hywan Hywan commented Feb 19, 2019

Hywan added 3 commits February 5, 2018 10:07

Verified

This commit was signed with the committer’s verified signature.
Swatinem Arpad Borsos

Verified

This commit was signed with the committer’s verified signature.
Swatinem Arpad Borsos

Verified

This commit was signed with the committer’s verified signature.
Swatinem Arpad Borsos

Verified

This commit was signed with the committer’s verified signature.
Swatinem Arpad Borsos

Verified

This commit was signed with the committer’s verified signature.
Swatinem Arpad Borsos
* @param string $tokenName Token name.
* @param string $nodeId Node ID.
* @param int $unification Unification index.
* @param bool $kept Whether the token is kept or not in the AST.
*/
public function __construct(
$name,
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

string missing ?

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Development

Successfully merging this pull request may close these issues.

None yet

2 participants