Hard-deprecate ProfileSection

No usages anywhere, to be removed in 1.31

Change-Id: I3ed4c2aa07d97e18c026e9ee6dae66d3b023896f

diff --git a/includes/profiler/ProfileSection.php b/includes/profiler/ProfileSection.php
index 32daeed..d48f744 100644 (file)
--- 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' );
        }
 }