wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 18:30:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Make phan ignore JsonSerializable redefinition

Browse source 
Change-Id: I1cffc88a3f4ea4290892c0624a6f32e852cde1dd
This commit is contained in:
Stephane Bisson 2019-05-07 16:21:22 -04:00
parent ad0e6844fb
commit 13956265c1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/formatters/EventPresentationModel.php
View file

@ -6,6 +6,7 @@ use Wikimedia\Timestamp\TimestampException;
* Class that returns structured data based
* on the provided event.
*/
// @phan-suppress-next-line PhanRedefinedInheritedInterface
abstract class EchoEventPresentationModel implements JsonSerializable {
/**