Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:89935
Return-Path: <mike.php.net@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 81388 invoked from network); 31 Dec 2015 08:29:44 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 31 Dec 2015 08:29:44 -0000
Authentication-Results: pb1.pair.com header.from=mike.php.net@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=mike.php.net@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.213.171 as permitted sender)
X-PHP-List-Original-Sender: mike.php.net@gmail.com
X-Host-Fingerprint: 209.85.213.171 mail-ig0-f171.google.com  
Received: from [209.85.213.171] ([209.85.213.171:36067] helo=mail-ig0-f171.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 70/C9-51216-877E4865 for <internals@lists.php.net>; Thu, 31 Dec 2015 03:29:44 -0500
Received: by mail-ig0-f171.google.com with SMTP id ph11so193485445igc.1
        for <internals@lists.php.net>; Thu, 31 Dec 2015 00:29:44 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=jya3tXwV+tPxxuznZY0Rr6xK+nhuURvCyMIL08WMR9s=;
        b=ATVgh/CI7p9u4q5M95R/E3pq+Fiit2TkYoAG8vABeIxCzT9rS6doZbC3695i4MDtVM
         rbqd98qcPpzU1sFLK/yt1HSn+do/9LEr5rwQJpfcz4GfAmb72SarIq1tryX8K0P0tk9B
         a/RExLSGqk+OvZNx7J2x66Nd9gtv5aCq2Gdw91EkNZBagLBllD4/AtKQseBJt+XJf3pT
         RoaIUtTmAqi6Jkitk292TOGlFgz6pBIdan6SObQVzd+QiF0HEE4lpYy2C67Yr2gKLAck
         1QfWYIbqxucu3GXq4tsJcgeUh+9p1BnIJTCJJirwu5K9hLocRyiE3dakWoF8F61vmg3G
         hbmQ==
MIME-Version: 1.0
X-Received: by 10.50.155.106 with SMTP id vv10mr27977957igb.41.1451550582009;
 Thu, 31 Dec 2015 00:29:42 -0800 (PST)
Received: by 10.79.22.193 with HTTP; Thu, 31 Dec 2015 00:29:41 -0800 (PST)
Received: by 10.79.22.193 with HTTP; Thu, 31 Dec 2015 00:29:41 -0800 (PST)
In-Reply-To: <CA+kxMuS=4z8Rpax+JYxpAEgMJKt0qmtxViz_Xp-LD57yOJNv1Q@mail.gmail.com>
References: <DUB129-W10F0D9A42A48CED194AE98F9FD0@phx.gbl>
	<CANaX5ndsVxurJcN9=z91q8P6=j3jh53xcwz1+=pw11rtEzDt=Q@mail.gmail.com>
	<CA+kxMuS=4z8Rpax+JYxpAEgMJKt0qmtxViz_Xp-LD57yOJNv1Q@mail.gmail.com>
Date: Thu, 31 Dec 2015 09:29:41 +0100
Message-ID: <CALJZF3jPQAom4e+uNr7i2uD7FPJfjKnN7RT5AXtG1XxvPCc-tw@mail.gmail.com>
To: Dan Ackroyd <danack@basereality.com>
Cc: Davey Shafik <davey@php.net>, PHP Internals <internals@lists.php.net>, 
	Thomas Punt <tpunt@hotmail.co.uk>
Content-Type: multipart/alternative; boundary=001a11346b48d07f2705282d74ab
Subject: Re: [PHP-DEV] [RFC] Number Format Separator
From: mike.php.net@gmail.com (Michael Wallner)

--001a11346b48d07f2705282d74ab
Content-Type: text/plain; charset=UTF-8

See also "[PHP-DEV] Digit separators for numeric literals" from Feb, 19th.

--001a11346b48d07f2705282d74ab--