How to change month format from archive widget? - [Resolved]

Please write below code in functions.php

add_filter('get_archives_link', 'translate_archive_month');

function translate_archive_month($list) {

     $patterns = array('/January/', '/February/', '/March/', '/April/', '/May/', '/June/', '/July/', '/August/', '/September/', '/October/',  '/November/', '/December/');

    $replacements = array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec');    

    $list = preg_replace($patterns, $replacements, $list);

    return $list; 

}