mantisbt のID が 7 桁で多すぎる

core/bug_api.php: 2180

function bug_format_id( $p_bug_id ) {
	#$t_padding = config_get( 'display_bug_padding' );
	$t_padding = 3;
	$t_string = sprintf( '%0' . (int)$t_padding . 'd', $p_bug_id );
	return event_signal( 'EVENT_DISPLAY_BUG_ID', $t_string, array( $p_bug_id ) );
}

設定は3にしているはずなのになぜか読まれてない. (int) ってかいてあるから t_padding は3(数値)ではなく'3'(数字) の気がするが自分は php の言語仕様を知らないし、php も文句いえばいいのに.