Eric Lippmann 8563d5ed3f PHPDoc: Use @var instead of @type ... Becasue of too many kittens PSR-5 backed off of deprecating @var. So that's the way we go too.		2015-03-12 16:08:47 +01:00
..
Doc	PHPDoc: Use @var instead of @type	2015-03-12 16:08:47 +01:00