From 30e1e9ba2c26134143788aa2c6cb301e807d1e3a Mon Sep 17 00:00:00 2001 From: Max Semenik Date: Mon, 21 Jan 2019 23:04:01 -0800 Subject: [PATCH] Hard-deprecate wfArrayFilter() and wfArrayFilterByKey() Deprecated in 1.32, no callers. Change-Id: Id6147cff1336cc39863c985023933ce9c6afca31 --- includes/GlobalFunctions.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index 9f29114b7b..a74060c715 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -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 ); } -- 2.20.1