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
5142 commits 163 branches 0 tags 73 MiB
PHP 68.8%
JavaScript 28.2%
Less 3%
Go to file
Hashar e3ae1a62d0 Revert "Make phan ignore JsonSerializable redefinition" 
This reverts commit 13956265c1.

The Wikimedia CI jobs running phan were installing mediawiki development
dependencies which might overlap with the dependencies from the
extension. Ultimately phan failed with:

includes/RemoteSchema.php:9
PhanRedefinedInheritedInterface
\RemoteSchema inherits abstract Interface \JsonSerializable declared at
internal:0 which is also declared at
../../vendor/jakub-onderka/php-parallel-lint/src/JsonSerializable.php:4.
This may lead to confusing errors.

If7171a6d46473b0bb05e3adaeb40229e7881c2b6 adjusts the CI configuration
to no more install MediaWiki core development dependencies and solely
relies on mediawiki/vendor.git. That prevents the duplicate interface
definition.

Bug: T223397
Depends-On: If7171a6d46473b0bb05e3adaeb40229e7881c2b6
Change-Id: I794fbffe59104f138802bc6ded1a9d9a58ba9437
2019-05-21 10:34:28 +02:00
.phan Add phan 2019-04-10 18:51:59 +02:00
db_patches Update column names in SQLite patch file 2019-04-11 13:27:16 +02:00
i18n Localisation updates from https://translatewiki.net. 2019-05-20 22:29:26 +02:00
images Remove all traces of cross-wiki beta feature 2019-04-17 22:18:13 -07:00
includes Revert "Make phan ignore JsonSerializable redefinition" 2019-05-21 10:34:28 +02:00
maintenance Fix removeInvalidNotification script 2019-05-14 16:49:05 +00:00
modules Use wikiId both server and client side 2019-05-08 09:03:28 -04:00
scripts Use addDescription() instead of accessing guts directly 2019-03-26 22:07:48 -07:00
tests Merge "Remove usage of deprecated Revision class in Echo" 2019-05-09 20:56:17 +00:00
.eslintrc.json build: Set "root": true, in .eslintrc.json 2018-12-17 18:54:51 -08: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: exclude the vendor folder 2018-12-27 21:32:39 +00: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: Upgrade mediawiki/mediawiki-phan-config from 0.5.0 to 0.6.0 and make pass 2019-05-19 13:33:12 +02:00
COPYING
Echo.alias.php Remove U+200E (LRM) from comments 2018-09-24 22:15:51 +02:00
echo.sql Remove notification_bundle_display_hash 2019-03-06 10:29:05 -08:00
extension.json Split system category into system and system-noemail 2019-04-24 14:08:59 -04:00
Gruntfile.js build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 2019-05-07 20:44:20 +00:00
jsduck.external.js jsduck: Remove custom @source tag 2016-09-21 00:51:46 +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
Makefile Remove obsolete scripts/generatecss.php 2018-09-09 17:07:26 -07:00
package.json build: Upgrade wdio-mediawiki from 0.1.7 to 0.3.0 2019-05-13 19:09:14 +01:00
RELEASE_NOTES BREAKING CHANGE: Use ISO 8601 for 'ts' in cross-wiki summary. 2016-07-27 17:00:05 -04:00