From 69220171645bc531d3c22fbc3a02521e18113944 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Fri, 22 Apr 2011 19:54:01 +0000
Subject: [PATCH] Follow-up r86732: really mark it as deprecated ;)

---
 includes/GlobalFunctions.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index d9db140eab..e69d3e2f5a 100644
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -591,8 +591,11 @@ function wfMsgForContentNoTrans( $key ) {
 
 /**
  * Get a message from the language file, for the UI elements
+ *
+ * @deprecated in 1.18; use wfMessage()
  */
 function wfMsgNoDB( $key ) {
+	wfDeprecated( __FUNCTION__ );
 	$args = func_get_args();
 	array_shift( $args );
 	return wfMsgReal( $key, $args, false );
-- 
2.20.1