mirror of https://github.com/php/php-src
Browse Source
It is pointless here, because we don't need any "void" statement. There already is a statement and all it will do in the worst case is generate an empty lineexperimental/new_ui_api
1 changed files with 2 additions and 2 deletions
Loading…
Reference in new issue