Description:
------------
I'm actually running PHP 5.2.10 (that came with Ubuntu 9.10), but I can't compile a newer snapshot because my system suffers from bug https://bugs.launchpad.net/ubuntu/+bug/81057 and the make install hangs when trying to fetch http://pear.php.net/install-pear-nozlib.phar. But there's nothing in the bug database with "XML_OPTION_SKIP_TAGSTART," so maybe no one's noticed this one before.

Setting XML_OPTION_SKIP_TAGSTART through xml_parser_set_option($parser, XML_OPTION_SKIP_TAGSTART, $x) has no effect. Instead of skipping $x number of characters from the beginning of the tag name (like to remove a namespace), it leaves the tag name whole.

Reproduce code:
---------------
test.xml:
<?xml version="1.0"?>
<ns1:listOfAwards xmlns:ns1="http://www.fpdsng.com/FPDS">
    <ns1:count>
        <ns1:total>867</ns1:total>
    </ns1:count>
</ns1:listOfAwards>

Code:
<?php
function startElement($parser, $tagName, $attrs) {
    echo "$tagName\n";
}

$xml_parser = xml_parser_create();
xml_set_element_handler($xml_parser, 'startElement', '');
xml_parser_set_option($xml_parser, XML_OPTION_SKIP_TAGSTART, 4);
if (!($fp = fopen('test.xml', 'r'))) {
    die('could not open XML input');
}

while($data = fread($fp, 4096)) {
    if(!xml_parse($xml_parser, $data, feof($fp))) {
        die(sprintf('XML error: %s at line %d',
                    xml_error_string(xml_get_error_code($xml_parser)),
                    xml_get_current_line_number($xml_parser)));
    }
}
xml_parser_free($xml_parser);
?>

Expected result:
----------------
LISTOFAWARDS
COUNT
TOTAL

Actual result:
--------------
NS1:LISTOFAWARDS
NS1:COUNT
NS1:TOTAL