Description:
------------
Manual page: http://www.php.net/manual/en/functions.user-defined.php

Actual text: "Function names are case-insensitive, ...".

Expected text: "Function names are case-insensitive for A-Z chars and case-sensitive for chars with codes from 127 through 255 (0x7f-0xff), ...".

Test script:
---------------
<?php
/* File charset is "windows-1251" */
function english() { print 'ok '; }
english();
ENGLISH();

function кириллица() { print 'ok '; }
кириллица();
КИРИЛЛИЦА();

Expected result:
----------------
ok ok ok ok 

Actual result:
--------------
ok ok ok 
Fatal error: Call to undefined function КИРИЛЛИЦА() in ... on line 9