user: Avoid page_touched update in User::saveSettings
authorAaron Schulz <aschulz@wikimedia.org>
Thu, 14 Mar 2019 23:46:44 +0000 (16:46 -0700)
committerKrinkle <krinklemail@gmail.com>
Fri, 15 Mar 2019 00:01:30 +0000 (00:01 +0000)
commitacfe6c84695f655664e41edac4324d65566d255e
tree3d93080cc2f1af2ba90250861e921e32ae4a9a71
parentfa0fe8d2940b71950f82f2303acd3a3717b51389
user: Avoid page_touched update in User::saveSettings

This was added in r42179 (65bbc147836aa) and only CDN and object caches
need purging.

Change-Id: I7ca40f8eda15ffeac3aa21aa4445b993d9fcc131
includes/user/User.php