diff options
Diffstat (limited to 'includes/session/SessionProvider.php')
| -rw-r--r-- | includes/session/SessionProvider.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/session/SessionProvider.php b/includes/session/SessionProvider.php index cbdf2db8d5d8..4dea31c9c5b0 100644 --- a/includes/session/SessionProvider.php +++ b/includes/session/SessionProvider.php @@ -73,7 +73,7 @@ use WebRequest; * session cookie names should be used for different providers to avoid * collisions. * - * @stable for subclassing + * @stable to extend * @ingroup Session * @since 1.27 * @see https://www.mediawiki.org/wiki/Manual:SessionManager_and_AuthManager |