Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/TextExtracts

jenkins-bot 173012d395 Merge "ExtractFormatter: Rescue headings from being removed"		2024-07-16 15:05:46 +00:00
.phan	Add phan	2019-04-27 21:23:26 +02:00
i18n	Localisation updates from https://translatewiki.net.	2024-07-01 09:26:34 +02:00
includes	Merge "ExtractFormatter: Rescue headings from being removed"	2024-07-16 15:05:46 +00:00
tests/phpunit	Merge "ExtractFormatter: Rescue headings from being removed"	2024-07-16 15:05:46 +00:00
.eslintrc.json	build: Updating mediawiki/mediawiki-codesniffer to 33.0.0	2020-11-04 14:00:01 +00:00
.gitignore	build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint	2019-05-07 10:52:31 -07:00
.gitreview	Whoops, track not trace	2016-10-24 17:03:54 -07:00
.phpcs.xml	Fix minor deprecations and incomplete PHPDoc tags	2021-01-08 08:36:47 +01:00
CODE_OF_CONDUCT.md	build: Updating mediawiki/phan-taint-check-plugin to 1.3.0	2018-08-19 17:07:56 +00:00
composer.json	build: Updating composer dependencies	2024-05-06 07:13:32 +00:00
COPYING	Add COPYING	2014-01-22 21:33:49 +00:00
extension.json	Merge "Add extracts to REST search as description"	2024-07-12 17:41:19 +00:00
Gruntfile.js	build: Updating dependencies	2021-01-30 15:53:32 +00:00
package-lock.json	build: Updating eslint-config-wikimedia to 0.28.2	2024-06-22 03:07:54 +00:00
package.json	build: Updating eslint-config-wikimedia to 0.28.2	2024-06-22 03:07:54 +00:00