Soft deprecate $wgStyleVersion (add @deprecated)

Bug: T181318
Change-Id: Ib5dce1c8d39a821aab0f96133780c18c827bde03

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index 3cd7ef1..ee67f75 100644 (file)
--- 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.
  * 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';
 
  */
 $wgStyleVersion = '303';