From 0778fa153ea4051e8ad8ca8024639c16de746b84 Mon Sep 17 00:00:00 2001
From: Max Semenik <maxsem.wiki@gmail.com>
Date: Fri, 11 Aug 2017 19:42:04 -0700
Subject: [PATCH] Hard-deprecate ProfileSection

No usages anywhere, to be removed in 1.31

Change-Id: I3ed4c2aa07d97e18c026e9ee6dae66d3b023896f
---
 includes/profiler/ProfileSection.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/profiler/ProfileSection.php b/includes/profiler/ProfileSection.php
index 32daeed4bf..d48f74422f 100644
--- a/includes/profiler/ProfileSection.php
+++ b/includes/profiler/ProfileSection.php
@@ -40,5 +40,6 @@ class ProfileSection {
 	 * @param string $name Name of the function to profile
 	 */
 	public function __construct( $name ) {
+		wfDeprecated( __CLASS__, '1.25' );
 	}
 }
-- 
2.20.1