diff options
author | jdlrobson <jdlrobson@gmail.com> | 2021-12-14 10:46:45 -0800 |
---|---|---|
committer | Jdlrobson <jrobson@wikimedia.org> | 2021-12-15 20:10:56 +0000 |
commit | b4f775957c0b6b4c1c3483a8491968aa3c50db0e (patch) | |
tree | cac9643da14f9900f90d2750c13b18969aedac3b | |
parent | 1ef21ff3fbab831f0e28bfd35279533a6a6e8899 (diff) |
Remove migration script
Instead of updating the database on GET requests on the fly,
we can use the migration script in
I340930010a8b7dda0078a30f5e4c07b0d00aed5a
Bug: T297484
Change-Id: Iea8975ee2a5063bc9be0a0f5fc33cff034ec1230
-rw-r--r-- | includes/skins/Skin.php | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/includes/skins/Skin.php b/includes/skins/Skin.php index 6046de0c7b24..35588461c5ce 100644 --- a/includes/skins/Skin.php +++ b/includes/skins/Skin.php @@ -2674,10 +2674,6 @@ abstract class Skin extends ContextSource { $newTitle = $title->getText(); if ( $currentTitle !== $newTitle ) { $userOptionsManager->setOption( $user, 'search-special-page', $newTitle ); - if ( !$user->isAnon() ) { - // avoid this check for logged in users on future visits. - $userOptionsManager->saveOptions( $user ); - } } } |