Hard-deprecate wfArrayFilter() and wfArrayFilterByKey()

Deprecated in 1.32, no callers.

Change-Id: Id6147cff1336cc39863c985023933ce9c6afca31
This commit is contained in:
Max Semenik 2019-01-21 23:04:01 -08:00
parent 9d8ecd813f
commit 30e1e9ba2c

View file

@ -148,6 +148,7 @@ function wfArrayDiff2_cmp( $a, $b ) {
* @return array
*/
function wfArrayFilter( array $arr, callable $callback ) {
wfDeprecated( __FUNCTION__, '1.32' );
return array_filter( $arr, $callback, ARRAY_FILTER_USE_BOTH );
}
@ -160,6 +161,7 @@ function wfArrayFilter( array $arr, callable $callback ) {
* @return array
*/
function wfArrayFilterByKey( array $arr, callable $callback ) {
wfDeprecated( __FUNCTION__, '1.32' );
return array_filter( $arr, $callback, ARRAY_FILTER_USE_KEY );
}