wikimedia-gadgets/twinkle

rename twinkle-pagestyles.css

Opened this issue · 3 comments

Name isn't descriptive of what it is/does.

  • Rename to something like "twinkle-reservemenuspace.css".
  • As mentioned in other renaming tickets, will want to move the page to the new title before running the deploy script, to preserve page history.
  • Will also want to update MediaWiki:Gadgets-definition during the deploy.
  • May also want to deploy to testwiki, so that we get these complex steps done now and we don't encounter bugs when trying to deploy to testwiki in the future.

I find the current name just fine. Reserving the menu space may become unnecessary, but something else that needs to be ready before first paint may become necessary. The name serves as a placeholder for all such things.

Twinkle-pagestyles.css is too vague. Every .css document styles a page.

How about Twinkle-beforefirstpaint.css?