> > There is no need for JavaScript: use <details> (as progressive enhancement, > > etc.)
> How will that work for the cli (e.g. php -i)? The situation on CLI is arguably even worse with very long lists like that and indeed things like JS or details tags would obviously not work for that. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
