php-array-delete-by-value-not-key

array_diff( [312, 401, 15, 401, 3], [401] ) // removing 401 returns [312, 15, 3]
Panicky Panther