| 130,11 → 130,17 |
|---|
| $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|may|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); |
| // convert "30-jan-99", "1999-jan-30" and "30-jan-1999" versions to "30jan99" or "30jan1999" |
| // note that dashes have already been replaced by dots |
| if (preg_match('/^([0-9][0-9]){1,2}\.(jan|feb|mar|apr|may|jun|jul|aug|sep|oct|nov|dec)\.([0-9][0-9]){1,2}$/', $verstr)) { |
| $verstr = str_replace('.', '', $verstr); |
| } |
| |
| // convert "2009mar17" versions to "17mar2009" |
| if (preg_match('/^[0-9]{4}(jan|feb|mar|apr|may|jun|jul|aug|sep|oct|nov|dec)[0-9]{2}$/', $verstr)) { |
| $dy = substr($verstr, 7); |
| $mo = substr($verstr, 4, 3); |
| $ye = substr($verstr, 0, 4); |
| $verstr = "{$dy}{$mo}{$ye}"; |
| } |
| |