Changeset 3855
- Timestamp:
- 06/08/2006 03:17:01 AM (19 years ago)
- Location:
- trunk/wp-includes
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/wp-includes/functions-formatting.php
r3795 r3855 522 522 function zeroise($number,$threshold) { // function to add leading zeros when necessary 523 523 return sprintf('%0'.$threshold.'s', $number); 524 524 } 525 525 526 526 527 527 function backslashit($string) { 528 $string = preg_replace('/^([0-9])/', '\\\\\\\\\1', $string); 528 529 $string = preg_replace('/([a-z])/i', '\\\\\1', $string); 529 530 return $string; -
trunk/wp-includes/functions.php
r3854 r3855 31 31 $datemeridiem_capital = $wp_locale->get_meridiem(date('A', $i)); 32 32 $dateformatstring = ' '.$dateformatstring; 33 $dateformatstring = preg_replace("/([^\\\])D/", "\ ${1}".backslashit($dateweekday_abbrev), $dateformatstring);34 $dateformatstring = preg_replace("/([^\\\])F/", "\ ${1}".backslashit($datemonth), $dateformatstring);35 $dateformatstring = preg_replace("/([^\\\])l/", "\ ${1}".backslashit($dateweekday), $dateformatstring);36 $dateformatstring = preg_replace("/([^\\\])M/", "\ ${1}".backslashit($datemonth_abbrev), $dateformatstring);37 $dateformatstring = preg_replace("/([^\\\])a/", "\ ${1}".backslashit($datemeridiem), $dateformatstring);38 $dateformatstring = preg_replace("/([^\\\])A/", "\ ${1}".backslashit($datemeridiem_capital), $dateformatstring);33 $dateformatstring = preg_replace("/([^\\\])D/", "\\1".backslashit($dateweekday_abbrev), $dateformatstring); 34 $dateformatstring = preg_replace("/([^\\\])F/", "\\1".backslashit($datemonth), $dateformatstring); 35 $dateformatstring = preg_replace("/([^\\\])l/", "\\1".backslashit($dateweekday), $dateformatstring); 36 $dateformatstring = preg_replace("/([^\\\])M/", "\\1".backslashit($datemonth_abbrev), $dateformatstring); 37 $dateformatstring = preg_replace("/([^\\\])a/", "\\1".backslashit($datemeridiem), $dateformatstring); 38 $dateformatstring = preg_replace("/([^\\\])A/", "\\1".backslashit($datemeridiem_capital), $dateformatstring); 39 39 40 40 $dateformatstring = substr($dateformatstring, 1, strlen($dateformatstring)-1); … … 74 74 $datemeridiem_capital = $wp_locale->get_meridiem(date('A', $i)); 75 75 $dateformatstring = ' '.$dateformatstring; 76 $dateformatstring = preg_replace("/([^\\\])D/", "\ ${1}".backslashit($dateweekday_abbrev), $dateformatstring);77 $dateformatstring = preg_replace("/([^\\\])F/", "\ ${1}".backslashit($datemonth), $dateformatstring);78 $dateformatstring = preg_replace("/([^\\\])l/", "\ ${1}".backslashit($dateweekday), $dateformatstring);79 $dateformatstring = preg_replace("/([^\\\])M/", "\ ${1}".backslashit($datemonth_abbrev), $dateformatstring);80 $dateformatstring = preg_replace("/([^\\\])a/", "\ ${1}".backslashit($datemeridiem), $dateformatstring);81 $dateformatstring = preg_replace("/([^\\\])A/", "\ ${1}".backslashit($datemeridiem_capital), $dateformatstring);76 $dateformatstring = preg_replace("/([^\\\])D/", "\\1".backslashit($dateweekday_abbrev), $dateformatstring); 77 $dateformatstring = preg_replace("/([^\\\])F/", "\\1".backslashit($datemonth), $dateformatstring); 78 $dateformatstring = preg_replace("/([^\\\])l/", "\\1".backslashit($dateweekday), $dateformatstring); 79 $dateformatstring = preg_replace("/([^\\\])M/", "\\1".backslashit($datemonth_abbrev), $dateformatstring); 80 $dateformatstring = preg_replace("/([^\\\])a/", "\\1".backslashit($datemeridiem), $dateformatstring); 81 $dateformatstring = preg_replace("/([^\\\])A/", "\\1".backslashit($datemeridiem_capital), $dateformatstring); 82 82 83 83 $dateformatstring = substr($dateformatstring, 1, strlen($dateformatstring)-1);
Note: See TracChangeset
for help on using the changeset viewer.