1--TEST--
2filter.default is deprecated
3--EXTENSIONS--
4filter
5--INI--
6filter.default=special_chars
7--FILE--
8<?php
9
10echo "Done\n";
11
12?>
13--EXPECT--
14Deprecated: The filter.default ini setting is deprecated in Unknown on line 0
15Done
16