1--TEST--
2Bug #71063 (filter_input(INPUT_ENV, ..) does not work)
3--EXTENSIONS--
4filter
5--ENV--
6PATH=/
7--INI--
8variables_order=E
9--FILE--
10<?php
11var_dump($_ENV['PATH']);
12var_dump(filter_input(INPUT_ENV, 'PATH'));
13?>
14--EXPECT--
15string(1) "/"
16string(1) "/"
17
