From 009764c0aef9827ee470120ecb294cc0cd56de86 Mon Sep 17 00:00:00 2001
From: Max Semenik <maxsem.wiki@gmail.com>
Date: Wed, 11 Oct 2017 19:42:18 -0700
Subject: [PATCH] Hard deprecate wfShellExecDisabled()

No users anywhere, only ever had 1 caller outside of core.

Change-Id: I1361d3b555b642b75ec58f071a02407a611b44f9
---
 includes/GlobalFunctions.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index 069e1beea4..d53e98dbe1 100644
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -2259,6 +2259,7 @@ function wfEscapeShellArg( /*...*/ ) {
  * @deprecated since 1.30 use MediaWiki\Shell::isDisabled()
  */
 function wfShellExecDisabled() {
+	wfDeprecated( __FUNCTION__, '1.30' );
 	return Shell::isDisabled() ? 'disabled' : false;
 }
 
-- 
2.20.1