Type cast formatted time
authorSiebrand Mazeland <s.mazeland@xs4all.nl>
Fri, 27 Dec 2013 16:26:06 +0000 (17:26 +0100)
committerSiebrand <siebrand@wikimedia.org>
Fri, 27 Dec 2013 16:28:33 +0000 (16:28 +0000)
commitdc8ea9f82fc84094aa89ddc8cd488a7af2b23103
tree93851b29400b04f43ea3f2b4c7c32015a04c6a7c
parentbca6b406c96187c0ec6940d04198a625496716a6
Type cast formatted time

Static code analyser warned for possible incorrect string concatenation
operator. Now it's clear what type we're dealing with.

Change-Id: Ic9f19479379ec2c6f4cb087ade44235fb110318c
includes/parser/Parser.php