diff options
author | James D. Forrester <jforrester@wikimedia.org> | 2023-08-25 16:09:14 -0400 |
---|---|---|
committer | James D. Forrester <jforrester@wikimedia.org> | 2023-08-28 15:03:42 -0400 |
commit | 17942faf84613d4d53b2ed7dbd79e14b1fe254ad (patch) | |
tree | 323984e31dff9dd0a7d05547e8898940fd08f7a8 /includes/libs | |
parent | ea0d0b3bb0cb0bf8fe61584d7fb1c9bd37c7d5c2 (diff) | |
download | mediawikicore-17942faf84613d4d53b2ed7dbd79e14b1fe254ad.tar.gz mediawikicore-17942faf84613d4d53b2ed7dbd79e14b1fe254ad.zip |
Follow-up ab21d8f: Add in-code comment on alias for when it was added
Change-Id: I011a6dac9e99a676cf2c4bd8d2457c457a0388b8
Diffstat (limited to 'includes/libs')
-rw-r--r-- | includes/libs/Emptiable.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/libs/Emptiable.php b/includes/libs/Emptiable.php index 2ea9f461ccd5..8f7c86b73809 100644 --- a/includes/libs/Emptiable.php +++ b/includes/libs/Emptiable.php @@ -14,4 +14,7 @@ interface Emptiable { } +/** + * @deprecated since 1.41 + */ class_alias( Emptiable::class, 'MediaWiki\\Emptiable' ); |