Replace ctype_digit with is_numeric ?

php-school / cli-menu

🖥 Build beautiful PHP CLI menus. Simple yet Powerful. Expressive DSL.

http://www.phpschool.io

MIT License

1.94k stars 106 forks source link

Closed bozhinov closed 1 year ago

bozhinov commented 1 year ago

the ctype ext does not seem to be required here

AydinHassan commented 1 year ago

Sure feel free to submit a PR if it works the same 🙂

AydinHassan commented 1 year ago

fixed with #272