| 130,6 → 130,23 |
|---|
| $verstr = substr_replace($verstr, '', -1); // remove last character from string |
| } |
| |
| // convert "30-jan-99" and "30-jan-1999" versions to "30jan99" and "30jan1999" |
| if (preg_match('/^[0-3][0-9]-(jan|feb|mar|apr|jun|jul|aug|sep|oct|nov|dec)-([0-9][0-9]){1,2}$/', $verstr)) { |
| $dy = substr($verstr, 0, 2); |
| $mo = substr($verstr, 3, 3); |
| $ye = substr($verstr, 7); |
| $verstr = "{$ye}{$mo}{$dy}"; |
| } |
| |
| // convert "30jan99" versions to 99.1.30 and "30jan1999" to 1999.1.30 |
| if (preg_match('/^[0-3][0-9](jan|feb|mar|apr|jun|jul|aug|sep|oct|nov|dec)([0-9][0-9]){1,2}$/', $verstr)) { |
| $months = array('jan' => 1, 'feb' => 2, 'mar' => 3, 'apr' => 4, 'may' => 5, 'jun' => 6, 'jul' => 7, 'aug' => 8, 'sep' => 9, 'oct' => 10, 'nov' => 11, 'dec' => 12); |
| $dy = substr($verstr, 0, 2); |
| $mo = $months[substr($verstr, 2, 3)]; |
| $ye = substr($verstr, 5); |
| $verstr = "{$ye}.{$mo}.{$dy}"; |
| } |
| |
| // validate the format is supported, should be something no more complex than 1.05.3.33 |
| if (! preg_match('/^[0-9][0-9.]{0,20}$/', $verstr)) { |
| return(false); |