Topic on Extension talk:GlobalPreferences

That is, by default $wgSharedTables includes user_properties, so preferences are global by default. What does this do differently? Thanks!

Do you mean, apart from not having a single table? :)

The extension lets you choose which of your preferences are set globally and which aren't. So you can set your skin to be the same on all wikis, but have different watchlist settings on different wikis.

Using one global user_properties table works fine for most cases, but there can be some weird edge cases if, for example, one wiki has a preference hidden with $wgHiddenPrefs, and another doesn't. Or if two wikis have two different gadgets named the same thing.

@Logoktm: thanks for the quick answer! I believe this simpler-worded explanation is needed, and so I've added it to the page - I hope that's OK with you. I've also linked it to (and from) $wgSharedTables.

@Nemo: have more patience - sometimes people read things differently. What was clear to you wasn't clear to me, and technical aspects should always be explained as clearly as possible, right? I believe that this extension page can (and has?) benefit from additional explanations and examples.

Thanks, it looks fine to me!