Description:
------------
I'm using:
PHP 5.5.15-1~dotdeb.1 (cli) (built: Jul 24 2014 16:44:04) on
Linux unmapped 3.2.0-4-amd64 #1 SMP Debian 3.2.51-1 x86_64 GNU/Linux

if you attempt to require_once or include_once the same file where the path differs only by the use of backslashes instead of forward slashes, PHP will attempt to include the file a second time.


Test script:
---------------
//Test1:
    require_once "src/ClassA.php";
    require_once "src/ClassA.php";

//Test2:
    require_once "src\\ClassA.php";
    require_once "src\\ClassA.php";

//Test3:
    require_once "src/ClassA.php";
    require_once "src\\ClassA.php";

//Test4:
    require_once "src\\ClassA.php";
    require_once "src/ClassA.php";


Expected result:
----------------
For this to work you need a file in the src/ClassA.php directory.  Preferably one that declares and defines the ClassA class.

Test1: This code should only include the file once and produce no errors.

Test2: This code should only include the file once and produce no errors.

Test3: This code should only include the file once and produce no errors.

Test4: This code should only include the file once and produce no errors.


Actual result:
--------------
Test1: This code only includes the file once and produces no errors.

Test2: This code only includes the file once and produces no errors.

Test3: This code attempts to include the file twice resulting in a "Cannot redeclare class" error if the file contains a declaration of ClassA.

Test4: This code attempts to include the file twice resulting in a "Cannot redeclare class" error if the file contains a declaration of ClassA.