> On Jul 4, 2024, at 3:05 PM, Chuck Adams <chaz@chaz.works> wrote: > >> On Jul 4, 2024, at 12:02 PM, Mike Schinkel <m...@newclarity.net> wrote: >> >> The point being that PHP is free to choose how they are defined with respect >> to PHP. >> >> To which I will add "as long as the terms are used consistently.” > > ...but whatever makes sense for PHP is what’s best.
Definitely. -Mike
