Doc #78403 [NEW]: array_diff() no longer explicitly mentions key preservation
| From: | roy-orbison at devo dot net dot au | Date: | Mon, 12 Aug 2019 07:51:54 +0000 |
| Subject: | Doc #78403 [NEW]: array_diff() no longer explicitly mentions key preservation | ||
| Groups: | php.doc.bugs | ||
| Request: | Send a blank email to doc-bugs+get-16879@lists.php.net to get a copy of this message | ||
From: roy-orbison at devo dot net dot au
Operating system:
PHP version: Irrelevant
Package: Documentation problem
Bug Type: Documentation Problem
Bug description:array_diff() no longer explicitly mentions key preservation
Description:
------------
---
From manual page: https://php.net/function.array-diff
---
It's implied from the example, but should be stated clearly that keys of
the values in the first array are used for constructing the resultant
array, regardless of the keys' types.
--
Edit bug report at https://bugs.php.net/bug.php?id=78403&edit=1
--
Fix committed: https://bugs.php.net/fix.php?id=78403&r=fixed
Fixed in release: https://bugs.php.net/fix.php?id=78403&r=alreadyfixed
Need backtrace: https://bugs.php.net/fix.php?id=78403&r=needtrace
Need Reproduce Script: https://bugs.php.net/fix.php?id=78403&r=needscript
Try newer version: https://bugs.php.net/fix.php?id=78403&r=oldversion
Not developer issue: https://bugs.php.net/fix.php?id=78403&r=support
Expected behavior: https://bugs.php.net/fix.php?id=78403&r=notwrong
Not enough info: https://bugs.php.net/fix.php?id=78403&r=notenoughinfo
Submitted twice: https://bugs.php.net/fix.php?id=78403&r=submittedtwice
register_globals: https://bugs.php.net/fix.php?id=78403&r=globals
PHP version support discontinued: https://bugs.php.net/fix.php?id=78403&r=phptooold
Daylight Savings: https://bugs.php.net/fix.php?id=78403&r=dst
IIS Stability: https://bugs.php.net/fix.php?id=78403&r=isapi
Install GNU Sed: https://bugs.php.net/fix.php?id=78403&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=78403&r=float
No Zend Extensions: https://bugs.php.net/fix.php?id=78403&r=nozend
MySQL Configuration Error: https://bugs.php.net/fix.php?id=78403&r=mysqlcfg