Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:104548
MIME-Version: 1.0
References: <5c7ae08d.1c69fb81.29486.402d@mx.google.com>
In-Reply-To: <5c7ae08d.1c69fb81.29486.402d@mx.google.com>
Date: Sat, 2 Mar 2019 21:36:50 -0600
Message-ID: <CAESVnVr0z++-ZAdS-7Mc=Fkn2zVG2Z6HYbJ5hEU30cPiGo=y3Q@mail.gmail.com>
To: Steven Penny <svnpenn@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000658d6f0583285a3d"
Subject: Re: [PHP-DEV] print with newline
From: pollita@php.net (Sara Golemon)

--000000000000658d6f0583285a3d
Content-Type: text/plain; charset="UTF-8"

On Sat, Mar 2, 2019 at 1:59 PM Steven Penny <svnpenn@gmail.com> wrote:

> with PHP, several methods are available to produce output:
> [[::snip::]]


<?php

function println(string $x): void {
  echo $x, PHP_EOL;
}

I hereby grant a public domain license to the above code and wish you
godspeed bundling it into a composer package to be enjoyed by users of
every active version of PHP.

-Sara

--000000000000658d6f0583285a3d--