Le lun. 12 juil. 2021 à 11:42, Patrick ALLAERT <[email protected]> a écrit :
> Le lun. 12 juil. 2021 à 09:51, Nikita Popov <[email protected]> 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);
