wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "More fixes for Monobook and adding a missing message key"

Browse source
This commit is contained in:
jenkins-bot 2013-04-27 00:03:06 +00:00 committed by Gerrit Code Review
parent c28d5c9f5c 5ad9f2a96e
commit 4f4289b55f
2 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Echo.php
View file

@ -139,6 +139,7 @@ $wgResourceModules += array(
'echo-overlay-link',
'echo-none',
'echo-mark-all-as-read',
'echo-more-info',
),
),
'ext.echo.special' => $echoResourceTemplate + array(

8
modules/overlay/ext.echo.overlay.css
View file

@ -37,6 +37,14 @@
text-align: left;
text-transform: none;
}
#p-personal #mw-echo-overlay-link {
/* Override for Monobook */
padding-bottom: 15px;
}
#p-personal #mw-echo-overlay-pref-link {
/* Override for Monobook */
padding-bottom: 15px;
}
#p-personal .mw-echo-overlay li.mw-echo-notification {
background-color: #F0F0F0;
display: block;