1--TEST--
2Bug #65947 (basename is no more working after fgetcsv in certain situation)
3--FILE--
4<?php
5$filename = 'test.toto';
6// é in ISO-8859-1
7$csv = base64_decode('6Q==');
8$adata = str_getcsv($csv,";");
9$b2 = basename($filename);
10if ($filename != $b2)
11	print "BUG";
12else
13	print "OKEY";
14--EXPECT--
15OKEY
16