From 98acc69219d7f15f3d87225ad96851ec9ba0e3c0 Mon Sep 17 00:00:00 2001 From: Chris Rebert Date: Thu, 17 Apr 2014 18:43:05 -0700 Subject: [PATCH] fix #13360 by making deprecation notices visible in customizer --- docs/_includes/customizer-variables.html | 10 ++++++++++ less/variables.less | 16 ++++++++++------ 2 files changed, 20 insertions(+), 6 deletions(-) diff --git a/docs/_includes/customizer-variables.html b/docs/_includes/customizer-variables.html index e807e1231d..11f6e03859 100644 --- a/docs/_includes/customizer-variables.html +++ b/docs/_includes/customizer-variables.html @@ -502,6 +502,7 @@
+

Deprecated @dropdown-caret-color as of v3.1.0

Media queries breakpoints

@@ -510,18 +511,22 @@
+

Deprecated @screen-xs as of v3.0.1

+

Deprecated @screen-xs-min as of v3.2.0

+

Deprecated @screen-phone as of v3.0.1

+

Deprecated @screen-sm as of v3.0.1

@@ -530,10 +535,12 @@
+

Deprecated @screen-tablet as of v3.0.1

+

Deprecated @screen-md as of v3.0.1

@@ -542,10 +549,12 @@
+

Deprecated @screen-desktop as of v3.0.1

+

Deprecated @screen-lg as of v3.0.1

@@ -554,6 +563,7 @@
+

Deprecated @screen-lg-desktop as of v3.0.1

diff --git a/less/variables.less b/less/variables.less index a6d87f46e1..a2e464b6ee 100644 --- a/less/variables.less +++ b/less/variables.less @@ -236,7 +236,7 @@ //** Text color for headers within dropdown menus. @dropdown-header-color: @gray-light; -// Note: Deprecated @dropdown-caret-color as of v3.1.0 +//** Deprecated `@dropdown-caret-color` as of v3.1.0 @dropdown-caret-color: #000; @@ -261,28 +261,32 @@ //## Define the breakpoints at which your layout will change, adapting to different screen sizes. // Extra small screen / phone -// Note: Deprecated @screen-xs and @screen-phone as of v3.0.1 -// Note: Deprecated @screen-xs-min as of v3.2.0 +//** Deprecated `@screen-xs` as of v3.0.1 @screen-xs: 480px; +//** Deprecated `@screen-xs-min` as of v3.2.0 @screen-xs-min: @screen-xs; +//** Deprecated `@screen-phone` as of v3.0.1 @screen-phone: @screen-xs-min; // Small screen / tablet -// Note: Deprecated @screen-sm and @screen-tablet as of v3.0.1 +//** Deprecated `@screen-sm` as of v3.0.1 @screen-sm: 768px; @screen-sm-min: @screen-sm; +//** Deprecated `@screen-tablet` as of v3.0.1 @screen-tablet: @screen-sm-min; // Medium screen / desktop -// Note: Deprecated @screen-md and @screen-desktop as of v3.0.1 +//** Deprecated `@screen-md` as of v3.0.1 @screen-md: 992px; @screen-md-min: @screen-md; +//** Deprecated `@screen-desktop` as of v3.0.1 @screen-desktop: @screen-md-min; // Large screen / wide desktop -// Note: Deprecated @screen-lg and @screen-lg-desktop as of v3.0.1 +//** Deprecated `@screen-lg` as of v3.0.1 @screen-lg: 1200px; @screen-lg-min: @screen-lg; +//** Deprecated `@screen-lg-desktop` as of v3.0.1 @screen-lg-desktop: @screen-lg-min; // So media queries don't overlap when required, provide a maximum