From 70950f82564eea580dbd2ca2fb8b1fb3bd5781ea Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Mon, 30 Aug 2010 14:23:52 +0000
Subject: [PATCH] Mark wfSeedRandom() for removal in next version. Not used
 anywhere

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

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index b96e167139..918bc44a4d 100644
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -227,9 +227,10 @@ function wfArrayDiff2_cmp( $a, $b ) {
 /**
  * Seed Mersenne Twister
  * No-op for compatibility; only necessary in PHP < 4.2.0
+ * @deprecated. Remove in 1.18
  */
 function wfSeedRandom() {
-	/* No-op */
+	wfDeprecated(__FUNCTION__);
 }
 
 /**
-- 
2.20.1