[MediaWiki-commits] [Gerrit] Remove unused panel.css - change (wikimedia...modifications)

2013-10-02 Thread Dzahn (Code Review)
Dzahn has submitted this change and it was merged. Change subject: Remove unused panel.css .. Remove unused panel.css Grep'ing our modifications shows zero results, and it was removed upstream in https://bugzilla.mozilla.org/sh

[MediaWiki-commits] [Gerrit] Remove unused panel.css - change (wikimedia...modifications)

2013-10-02 Thread Aklapper (Code Review)
Aklapper has uploaded a new change for review. https://gerrit.wikimedia.org/r/87068 Change subject: Remove unused panel.css .. Remove unused panel.css Grep'ing our modifications shows zero results, and it was removed upstrea