add TIME token type, see issue #873

Author: grandsbor

lib/lib_annot.php

@@ -255,6 +255,8 @@ private function _from_token($token, $force_unknown, $force_include_init, $restr
             $this->parses[] = new MorphParse($token, array(array('inner' => 'PNCT')));
         } elseif (preg_match('/^\p{Nd}+[\.,]?\p{Nd}*$/u', $token)) {
             $this->parses[] = new MorphParse($token, array(array('inner' => 'NUMB')));
+        } elseif (preg_match('/^([01][0-9]|2[0-3]):[0-5][0-9](:[0-5][0-9])?$/u', $token)) {
+            $this->parses[] = new MorphParse($token, array(array('inner' => 'TIME')));
         } elseif (preg_match('/^[\p{Latin}\.-]+$/u', $token)) {
             $this->parses[] = new MorphParse($token, array(array('inner' => 'LATN')));
         } elseif (preg_match('/^\p{S}+$/u', $token)) {