-
Notifications
You must be signed in to change notification settings - Fork 7.8k
Update ext/tokenizer param names #6232
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
Conversation
ext/tokenizer/tokenizer.stub.php
Outdated
|
||
function token_name(int $token): string {} | ||
function token_name(int $token_id): string {} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why not just $name
or $id
?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ops, I didn't see your comment :)
ext/tokenizer/tokenizer.stub.php
Outdated
|
||
function token_name(int $token): string {} | ||
function token_name(int $token_id): string {} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I would be ok with $id
too. E.g. filter_id()
uses $name
:D But I'm ok with using $token_id
here, or changing $name
to $filter_name
in filter_id()
One more comment: |
In this case the |
Thanks for the clarification! Then everything looks good now :) |
No description provided.