diff options
author | James D. Forrester <jforrester@wikimedia.org> | 2024-03-07 16:56:58 -0500 |
---|---|---|
committer | Krinkle <krinkle@fastmail.com> | 2024-03-19 20:11:29 +0000 |
commit | 8e940c4f214ff7d17b53f51c6a46a5cf7fc2c92e (patch) | |
tree | 7eea5bb5433588c3959512a45207b18f8c617d18 /includes/libs/Diff/DiffFormatter.php | |
parent | 3715ec82fdf6d6ed3d31a353e04955c75be73da0 (diff) | |
download | mediawikicore-8e940c4f214ff7d17b53f51c6a46a5cf7fc2c92e.tar.gz mediawikicore-8e940c4f214ff7d17b53f51c6a46a5cf7fc2c92e.zip |
Standardise all our class alias deprecation comments for ease of grepping
Change-Id: I7f85d931d3b79da23e87b4e5692b2e14be8fcaa0
Diffstat (limited to 'includes/libs/Diff/DiffFormatter.php')
-rw-r--r-- | includes/libs/Diff/DiffFormatter.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/libs/Diff/DiffFormatter.php b/includes/libs/Diff/DiffFormatter.php index 181366d3fea4..b5180d508473 100644 --- a/includes/libs/Diff/DiffFormatter.php +++ b/includes/libs/Diff/DiffFormatter.php @@ -255,5 +255,5 @@ abstract class DiffFormatter { } -/** @deprecated since 1.41 */ +/** @deprecated class alias since 1.41 */ class_alias( DiffFormatter::class, 'DiffFormatter' ); |