- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
function str_month($month) {
switch ($month) {
case 1: return LANG_DATE_MONTH_1;
case 2: return LANG_DATE_MONTH_2;
case 3: return LANG_DATE_MONTH_3;
case 4: return LANG_DATE_MONTH_4;
case 5: return LANG_DATE_MONTH_5;
case 6: return LANG_DATE_MONTH_6;
case 7: return LANG_DATE_MONTH_7;
case 8: return LANG_DATE_MONTH_8;
case 9: return LANG_DATE_MONTH_9;
case 10: return LANG_DATE_MONTH_10;
case 11: return LANG_DATE_MONTH_11;
case 12: return LANG_DATE_MONTH_12;
}
}
function forsearch($str, $search) {
$str = strip_tags($str);
$pos = strripos($str, $search);
if ($pos-100 < 0) {
$pos = 0;
} else {
$pos = $pos - 100;
}
$str = substr($str, $pos, strlen($search)+200);
$str = str_ireplace($search, "<b style='font-size: 120%'>".$search."</b>", $str);
return $str;
}