note 125384 added to function.array-diff

<?php /** * Check If An Array Is A Subset Of Another Array * * @param array $subset * @param array $set * @return bool */ function is_subset(array $subset, array $set): bool { return (bool)!array_diff($subset, $set); } $u = [1, 5, 6, 8, 10]; $a = [1, 5]; $b = [6, 7]; var_dump(is_subset($a, $u)); // true var_dump(is_subset($b, $u)); // false ---- Server IP: 45.112.84.4 Probable Submitter: 185.85.3.172 (proxied: 103.71.42.60) ---- Manual Page -- http://php.net/manual/en/function.array-diff.php Edit -- https://master.php.net/note/edit/125384 Del: integrated -- https://master.php.net/note/delete/125384/integrated Del: useless -- https://master.php.net/note/delete/125384/useless Del: bad code -- https://master.php.net/note/delete/125384/bad+code Del: spam -- https://master.php.net/note/delete/125384/spam Del: non-english -- https://master.php.net/note/delete/125384/non-english Del: in docs -- https://master.php.net/note/delete/125384/in+docs Del: other reasons-- https://master.php.net/note/delete/125384 Reject -- https://master.php.net/note/reject/125384 Search -- https://master.php.net/manage/user-notes.php