From 161c35bcb41687e93d6cd6a75170a4df50437d85 Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Fri, 5 Oct 2012 22:41:22 +0200
Subject: [PATCH] Remove deprecated 1.16 wfLoadExtensionMessages

Change-Id: I9b9ecc9818d17c98748f39177c28554f8c485de5
---
 includes/GlobalFunctions.php | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index 17e3f4d5a0..3bbf62f0a0 100644
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -3551,16 +3551,6 @@ function wfBoolToStr( $value ) {
 	return $value ? 'true' : 'false';
 }
 
-/**
- * Load an extension messages file
- *
- * @deprecated since 1.16, warnings in 1.18, remove in 1.20
- * @codeCoverageIgnore
- */
-function wfLoadExtensionMessages() {
-	wfDeprecated( __FUNCTION__, '1.16' );
-}
-
 /**
  * Get a platform-independent path to the null file, e.g. /dev/null
  *
-- 
2.20.1