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,";", escape: '');
9$b2 = basename($filename);
10if ($filename != $b2)
11    print "BUG";
12else
13    print "OKEY";
14?>
15--EXPECT--
16OKEY
17