Le lun. 12 juil. 2021 à 11:42, Patrick ALLAERT <patrickalla...@php.net> a écrit :
> Le lun. 12 juil. 2021 à 09:51, Nikita Popov <nikita....@gmail.com> a > écrit : > >> I'm also not sure where this would be actually useful (though I'm okay >> with including it, as the functionality itself seems sensible). As Patrick >> Allaert suggested this, maybe he can comment on some use cases. >> > > I can't really see a useful case either, it was more rhetorical. > Maybe: if ($f == unlink(...)) { logging("Deleting $x"); } $f($x);