Umherirrender dd5753c023 Replace empty() with falsy check ... empty() should only be used to suppress errors When the type of the variable is array, a falsy check is the same (checks for null, false and empty array) Found by a new phan plugin (T234237) Change-Id: If24015795219f6ff4f155c0d667472dc52a04d43		2023-10-21 20:29:41 +02:00
..
AdvancedUserMenuBuilder.php	Hard deprecate MobileMenu Hook	2022-04-27 12:38:03 -05:00
DefaultUserMenuBuilder.php	Move some more classes to AutoloadNamespaces	2020-04-18 16:09:42 +00:00
IUserMenuBuilder.php	Move some more classes to AutoloadNamespaces	2020-04-18 16:09:42 +00:00
UserMenuDirector.php	Replace empty() with falsy check	2023-10-21 20:29:41 +02:00