wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 10:49:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Echo
5681 commits 155 branches 0 tags 71 MiB
PHP 68.5%
JavaScript 28.5%
Less 3%
Go to file
Thiemo Kreuz a5d35141f4 Fix notification popup header always showing a scrollbar 
This issue was introduced in patch I41ad96b (T190397). The head
element is set to 44px height. However, the box-sizing is set
to border-box, which means these 44px include the 1px border at
the bottom. This leaves only 43px inside the head. The label is
meant to fit in there. Since the previous 44px don't fit, there
was always a scrollbar.

This could as well be fixed by changing the head to 45px.
However, this would make it different from the footer. I
believe both should have the same size for consistency.

Bug: T190397
Change-Id: Id0946d872a99fb8a1fbb33e6365fd78cd22eddd3
2020-08-10 14:59:06 +00:00
.phan Add phan 2019-04-10 18:51:59 +02:00
db_patches Αdd column on eps_subscription table to store subscription metadata 2020-06-30 16:01:08 +00:00
i18n Localisation updates from https://translatewiki.net. 2020-08-10 09:00:52 +02:00
images Remove all traces of cross-wiki beta feature 2019-04-17 22:18:13 -07:00
includes Stop using ResourceLoaderTestModules hook 2020-08-03 13:18:29 +02:00
maintenance phpcs: Break long lines 2020-06-27 12:05:03 +02:00
modules Fix notification popup header always showing a scrollbar 2020-08-10 14:59:06 +00:00
scripts Use addDescription() instead of accessing guts directly 2019-03-26 22:07:48 -07:00
tests Stop using ResourceLoaderTestModules hook 2020-08-03 13:18:29 +02:00
.eslintrc.json build: Update eslint-config-wikimedia to 0.16.1 2020-06-15 16:19:00 +01:00
.gitignore build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 2019-04-03 15:57:20 -07:00
.gitreview Whoops, track not trace 2016-10-24 17:02:28 -07:00
.mailmap Add Kunal, Moriel, Jon to credits; add mailmap file 2015-12-15 16:30:19 -08:00
.phpcs.xml phpcs: Break long lines 2020-06-27 12:05:03 +02:00
.stylelintrc.json build: Update linters 2018-02-04 21:23:28 +00:00
CODE_OF_CONDUCT.md build: Updating mediawiki/mediawiki-codesniffer to 22.0.0 2018-09-03 01:46:10 +00:00
composer.json build: Updating mediawiki/minus-x to 1.1.0 2020-06-11 17:11:16 +00:00
COPYING Add COPYING 2014-01-24 16:00:24 -08:00
Echo.alias.php Remove U+200E (LRM) from comments 2018-09-24 22:15:51 +02:00
echo.sql Remove unused index echo_notification_user_hash_timestamp also from the canonical SQL file 2020-01-10 21:04:03 +02:00
extension.json Stop using ResourceLoaderTestModules hook 2020-08-03 13:18:29 +02:00
Gruntfile.js build: Update eslint-config-wikimedia to 0.16.1 2020-06-15 16:19:00 +01:00
jsduck.external.js build: Update eslint-config-wikimedia to 0.16.1 2020-06-15 16:19:00 +01:00
jsduck.json Add JSDuck support and fix errors 2016-05-11 14:07:12 -07:00
jsduck_custom_tags.rb jsduck: Remove custom @source tag 2016-09-21 00:51:46 +01:00
package-lock.json build: Updating grunt to 1.2.1 2020-07-18 05:30:44 +00:00
package.json build: Updating grunt to 1.2.1 2020-07-18 05:30:44 +00:00
RELEASE_NOTES BREAKING CHANGE: Use ISO 8601 for 'ts' in cross-wiki summary. 2016-07-27 17:00:05 -04:00
ServiceWiring.php Push: Submit requests to configured service endpoint 2020-06-08 13:37:24 +00:00