Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

twinkle: new hidden CSS peer gadget to prevent jumpiness in Vector skin #394

Merged
merged 1 commit into from
Sep 12, 2017

Conversation

MusikAnimal
Copy link
Collaborator

Update sync instructions in README

README.md Outdated
* Twinkle[ResourceLoader|dependencies=mediawiki.user,mediawiki.util,mediawiki.RegExp,jquery.ui.dialog,jquery.tipsy,moment|rights=autoconfirmed|type=general]|morebits.js|morebits.css|Twinkle.js|twinkleprod.js|twinkleimage.js|twinklebatchundelete.js|twinklewarn.js|twinklespeedy.js|friendlyshared.js|twinklediff.js|twinkleunlink.js|friendlytag.js|twinkledeprod.js|friendlywelcome.js|twinklexfd.js|twinklebatchdelete.js|twinklebatchprotect.js|twinkleconfig.js|twinklefluff.js|twinkleprotect.js|twinklearv.js|twinkleblock.js|friendlytalkback.js
There are two ways to upload Twinkle scripts to Wikipedia or another destination. You can do it [manually](#manual-synchronization) or with a [Python script](synchronization-using-syncpl).

After the files are synced, should contain the following lines:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Something missing here before "should"?

@MusikAnimal
Copy link
Collaborator Author

@atlight Any concerns? We shouldn't feel pressured to merge this ASAP but people are asking about it.

@atlight atlight merged commit d241401 into master Sep 12, 2017
@atlight
Copy link
Collaborator

atlight commented Sep 12, 2017

Noting that this is broken in RTL, but then Twinkle already is pretty broken in RTL so we need not worry too much.

@MusikAnimal MusikAnimal deleted the peer-gadget-css branch September 12, 2017 15:32
@Amorymeltzer Amorymeltzer added docs gadget-definition Changes to the gadget definition at MediaWiki:Gadgets-definition labels Jul 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Feature request gadget-definition Changes to the gadget definition at MediaWiki:Gadgets-definition
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants