Follow-up r86732: really mark it as deprecated ;)

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index d9db140..e69d3e2 100644 (file)
--- 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 );