Volles Monatsname im Kalender

Der Kalender in der Sidebar zeigt in der Navigation die Monatsnamen nur „3-stellig“ an. Eine kleine Änderung in der „general-template.php“ bringt den vollen Namen zu Ansicht.
Folgende Ausdruck:

$wp_locale->get_month_abbrev($wp_locale->get_month($previous->month))

wie folgt ändern:

$wp_locale->get_month($previous->month)

und folgendes:

$wp_locale->get_month_abbrev($wp_locale->get_month($next->month))

so:

 $wp_locale->get_month($next->month))