Wikimedia Bugzilla is closed!

I'm using hideprefix=always like this:

{{#categorytree:Category:Joefitzcat|mode=pages|hideprefix=always}}

However the Article namespace prefix is being shown in my tree:

-Joefitzcat
---Finncat
-----Article:Finn

I've debugged the javascript ajax and can see that the browser is passing the correct value of "10" for hideprefix.  However, I've debugged the server side by outputting the hideprefix option value in the text.  I changed CategoryTreeFunctions.php lines 656 and 658 to read like this:

if ( $hideprefix ) {
    $label = htmlspecialchars( $title->getText() ) . $this->getOption( 'hideprefix' );
} else {
    $label = htmlspecialchars( $title->getPrefixedText() ) . $this->getOption( 'hideprefix' );
}

This makes my tree look like this:

-Joefitzcat10
---Finncat20
-----Article:Finn20

Somewhere the option to hide prefix always is being reset to the default during ajax calls.