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 upstream in https://bugzilla.mozilla.org/show_bug.cgi?id=673956 Bug: 54823 Change-Id: I7e8c27611616043d111e8f2e45cb92fd76f76439 --- D skins/contrib/Wikimedia/panel.css 1 file changed, 0 insertions(+), 37 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/wikimedia/bugzilla/modifications refs/changes/68/87068/1 diff --git a/skins/contrib/Wikimedia/panel.css b/skins/contrib/Wikimedia/panel.css deleted file mode 100644 index 23b5270..0000000 --- a/skins/contrib/Wikimedia/panel.css +++ /dev/null @@ -1,37 +0,0 @@ -body - { - font-family: sans-serif; - font-size: 10pt; - background-color: white; - } - -ul - { - padding-left: 12px; - } - -radio - { - -moz-user-select: ignore; - } - -.text-link - { - margin-left: 3px; - } - -.text-link:hover - { - text-decoration: underline; - cursor: pointer; - } - -.descriptive-content - { - color: #AAAAAA; - } - -.descriptive-content[focused=true] - { - color: black; - } -- To view, visit https://gerrit.wikimedia.org/r/87068 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I7e8c27611616043d111e8f2e45cb92fd76f76439 Gerrit-PatchSet: 1 Gerrit-Project: wikimedia/bugzilla/modifications Gerrit-Branch: master Gerrit-Owner: Aklapper <aklap...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits