wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Echo
5646 commits 163 branches 0 tags 73 MiB
PHP 68.8%
JavaScript 28.2%
Less 3%
Go to file
Ed Sanders 5b216bfad3 Fix font size in monobook 
Content font size should be 12.7px and this can be achieved
by just applying the 127% from globalWrapper.

This matches the font sizes on Special:Notifications.

Change-Id: I5369231da52343029ea2cdbfc790296c2257807a
2020-07-24 23:31:35 +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-07-23 08:27:46 +02:00
images Remove all traces of cross-wiki beta feature 2019-04-17 22:18:13 -07:00
includes Merge "Make default snippet length (150) a constant" 2020-07-24 00:03:15 +00:00
maintenance phpcs: Break long lines 2020-06-27 12:05:03 +02:00
modules Fix font size in monobook 2020-07-24 23:31:35 +00:00
scripts Use addDescription() instead of accessing guts directly 2019-03-26 22:07:48 -07:00
tests Make default snippet length (150) a constant 2020-07-23 13:00:44 +01: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
.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
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 Hooks: Use new style hook registration to allow for DI 2020-07-03 04:06:58 +00: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
jsduck_custom_tags.rb
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
ServiceWiring.php Push: Submit requests to configured service endpoint 2020-06-08 13:37:24 +00:00