Унаследовал проект PHP7. Предыдущий разработчик добавил косую черту ко всем стандартным функциям PHP, даже для \true. Есть ли причина для этого?
Некоторые примеры:
\array_push($tags, 'master');
if ($result === \true) {}
$year = \date('Y');
Что такое правило php-cs-fixer для переключения этой опции?