[Bug 43695] Redundant interface messages

2013-01-08 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=43695 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |Low -- You are

[Bug 43695] Redundant interface messages

2013-01-07 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=43695 --- Comment #1 from Thomas Bleher thomasble...@gmx.de --- The two messages serve two distinct purposes: MediaWiki:Commentbox-first-comment-heading is the current heading, that should be added to the page, when no comment heading is present on