Mark wfSeedRandom() for removal in next version. Not used anywhere

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index b96e167..918bc44 100644 (file)
--- 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__);
 }
 
 /**