Давненько я не занимался вебом, решил посмотреть что к чему сейчас в PHP. И вижу такую запись (примеры из Laravel):
return view(view: "pages");
Полез смотреть что сие означает. Вот, например, такая статья:
Синтаксис PHP 5.3, 5.4, 5.5, 5.6, 7 — что нового?
Ничего про такое использование двоеточия не сказано.
Вопрос: что этот синтаксис значит, где про это можно прочитать?