> On Jul 4, 2024, at 3:05 PM, Chuck Adams <[email protected]> wrote: > >> On Jul 4, 2024, at 12:02 PM, Mike Schinkel <[email protected]> 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
