<?php
$aylar = [
1=>"Ocak",
2=>"Şubat",
3=>"Mart",
4=>"Nisan",
5=>"Mayıs",
6=>"Haziran",
7=>"Temmuz",
8=>"Ağustos",
9=>"Eylül",
10=>"Ekim",
11=>"Kasım",
12=>"Aralık"
];
echo $aylar[str_replace('0','',$tarih_ver[1])];
Vay bu şekilde dizi oluşturulduğunu bilmiyordum