Вставить символ в строку (помогите не граблить)

[KorP]

Что то я совсем торможу уже. Задача, в строку вставить один символ в определённом месте, пока кроме граблей

$date = '13 Мая 2012 21:33';
$tstr = '';
for ($i = 0; $i < strlen($date); $i++)
{
	if ($i == 14) $tstr .= ' в ';
	$tstr .= $date[$i];
}

echo $tstr //13 Мая 2012 в 21:33

мне ничего в голову не пришло. гугл увёл меня куда то совсем в другую степь. помогите грабли не городить

 

[Вурдалак]

substr().' в '.substr()

 

[Фанат]

http://php.net/substr_replace - отличная штука, кстати, для кучи задач

Хотя и представленное решение тоже ничего.

 

[KorP]

substr().' в '.substr()

ага, пока курил - допёр
спасибо!

 

[Redjik]

strtotime
date(нужный формат)

правда массив месяцев придется делать на русском

ЗЫ. с возвращением

 

[KorP]

strtotime
date(нужный формат)

правда массив месяцев придется делать на русском

ЗЫ. с возвращением

так это не решит проблемы

пс да я особо и не уходил, просто основной работой занят

 

[Фанат]

как это не решит?
а откуда берется 13 мая?

 

[KorP]

как это не решит?
а откуда берется 13 мая?

берётся просто текстовая строка 13 Мая 2012 21:33, ну допустим из файла, не важно. нужно просто вставить перед временем букву "в" - как тут date() поможет?

 

[Фанат]

а как такая дата туда попадает?
если в текстовом файле дата хранится в таком формате - значит что-то делается неправильно.
хранить дату надо в машино-читаемом формате, а форматировать только для вывода.

 

[KorP]

а как такая дата туда попадает?
если в текстовом файле дата хранится в таком формате - значит что-то делается неправильно.
хранить дату надо в машино-читаемом формате, а форматировать только для вывода.

ну это уже другой вопрос. я не храню дату в таком формате, я её в таком формате забираю и с ней работаю, а для хранения я её к формату DATETIME привожу, но проще в строку вставить символ, чем туда-сюда дату конвертить.

 

[Benjamin]

$date = '13 Мая 2012 21:33';
$tstr = '';
for ($i = 0; $i < strlen($date); $i++)
{
    if ($i == 14) $tstr .= ' в ';
    $tstr .= $date[$i];
}

echo $tstr //13 Мая 2012 в 21:33

А если будет не май месяц?

 

[KorP]

А если будет не май месяц?

ну тут да, надо с конца считать было, но уже в любом случае не важно

 

[Фанат]

как это не важно? Для любого способа - и вурдалачьего и моего - нужно считать с конца.

Только регэкспом считать не надо, там можно просто '!(\d\d:\d\d$)!' поменять на ' в $1'

 

[KorP]

да. сегодня я что то совсем туплю.