Page MenuHomePhabricator

Expose user.tokens like we do user.options in ResourceLoader
Closed, ResolvedPublic

Description

The two most common user specific things that gadgets and extensions use in the front-end are preferences as tokens from what I can see.

in 1.17 we started embedding these in the user.options module, I think we should do the same for tokens. This would no longer require extensions like WikiLove to add a script tag to the HTML root of the document storing the edittoken.

Proposing to add a user.tokens module and either loading by default as part of another http request in the 'user' group or embedding on the page.


Version: 1.20.x
Severity: normal

Details

Reference
bz29067