Translations:Manual:$wgSharedTables/11/en

In 1.16 ($rev), the new table for storing user preferences was added - $user_properties.