From fc55dc2e95bcea03fbc0d8e1d130c9e53f3f1dad Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Sun, 17 Jan 2016 17:00:26 +0100
Subject: merge default into stable

---
 tests/examplefiles/ints.php | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/examplefiles/ints.php

(limited to 'tests/examplefiles/ints.php')

diff --git a/tests/examplefiles/ints.php b/tests/examplefiles/ints.php
new file mode 100644
index 00000000..516ab2c8
--- /dev/null
+++ b/tests/examplefiles/ints.php
@@ -0,0 +1,10 @@
+<?php
+
+$x = array(0123, 0x0a, -0x0a, -0123, 12, -12);
+
+?>
+<?php
+$a = 1.234; 
+$b = 1.2e3; 
+$c = 7E-10;
+?>
-- 
cgit v1.2.1