1--TEST--
2Bug #71806 (php_strip_whitespace() fails on some numerical values)
3--FILE--
4<?php
5
6echo php_strip_whitespace(__DIR__ . '/bug71806.data');
7
8?>
9--EXPECT--
10<?php
11 echo 098 ;
12