Last modified: 2006-12-17 03:17:40 UTC

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 8274 - id attribute for edit tools div
id attribute for edit tools div
Product: MediaWiki
Classification: Unclassified
Page editing (Other open bugs)
All All
: Normal enhancement (vote)
: ---
Assigned To: Nobody - You can work on this!
Depends on:
  Show dependency treegraph
Reported: 2006-12-15 20:33 UTC by Lejonel
Modified: 2006-12-17 03:17 UTC (History)
0 users

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Description Lejonel 2006-12-15 20:33:26 UTC
I think it will be useful to include an id attribute for the div that contains
the edit tools when editing pages. That will make it easier to customise edit
pages in css files.
Comment 1 Rob Church 2006-12-17 03:17:40 UTC
Added in r18394.

Note You need to log in before you can comment on or make changes to this bug.