Thiemo Kreuz 78ca9eff4a Remove duplicate variable name from class property PHPDocs ... Repeating the variable name doesn't do anything. Documentation generators don't need it. It's more stuff to read that doesn't add new information. And it can become outdated. Note there are two types of @var docs. When used inline (and not on a class property) the variable name is needed. Change-Id: If5a520405efacd8cefd90b878c999b842b91ac61		2019-12-02 12:58:29 +00:00
..
logger	Remove duplicate variable name from class property PHPDocs	2019-12-02 12:58:29 +00:00
DeprecationHelper.php	Fix class name handling in DeprecationHelper	2019-04-19 01:09:25 -07:00
MWDebug.php	Streamline/fix code by using short ?: and ?? syntax	2019-11-11 11:17:13 +01:00