From e00925d751d1ea1082f588418a28100aaf642b80 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Fri, 24 Nov 2017 23:12:25 +0000
Subject: [PATCH] Soft deprecate $wgStyleVersion (add @deprecated)

Bug: T181318
Change-Id: Ib5dce1c8d39a821aab0f96133780c18c827bde03
---
 includes/DefaultSettings.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 3cd7ef181a..ee67f7587f 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2554,6 +2554,8 @@ $wgGitInfoCacheDirectory = false;
  * It should be appended in the query string of static CSS and JS includes,
  * to ensure that client-side caches do not keep obsolete copies of global
  * styles.
+ *
+ * @deprecated since 1.31
  */
 $wgStyleVersion = '303';
 
-- 
2.20.1