From 23b834729383e296701e42dce03357ee8858618d Mon Sep 17 00:00:00 2001 From: Max Semenik Date: Wed, 18 Apr 2018 18:45:47 -0700 Subject: [PATCH] Hard-deprecate wfUsePHP() Deprecated in 1.30, no callers anywhere. Change-Id: I5168234f4e8cfffbccc9dd43026255ee2dcd878d --- includes/GlobalFunctions.php | 1 + 1 file changed, 1 insertion(+) diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index 7667a9e52a..0152209d07 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -2514,6 +2514,7 @@ function wfDiff( $before, $after, $params = '-u' ) { * @throws MWException */ function wfUsePHP( $req_ver ) { + wfDeprecated( __FUNCTION__, '1.30' ); $php_ver = PHP_VERSION; if ( version_compare( $php_ver, (string)$req_ver, '<' ) ) { -- 2.20.1