mediawiki-extensions-Echo

wikimedia/mediawiki-extensions-Echo

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00

Commit graph

Author	SHA1	Message	Date
thiemowmde	7e3d73c11b	More specific type hints and type declarations Most notably: * Use the much more narrow UserIdentity interface where possible. * Make array type hints in PHPDocs as specific as possible. Change-Id: Id189da4028b7874909277881dcf6539169dd13b6	2024-05-16 10:32:19 +02:00
Reedy	7619a76877	Namespace Echo Formatters Change-Id: I5bf398cdb76a577543f6526ac1bee4a73897103d	2022-11-01 21:20:06 -06:00

Author

SHA1

Message

Date

thiemowmde

7e3d73c11b

More specific type hints and type declarations

Most notably:
* Use the much more narrow UserIdentity interface where possible.
* Make array type hints in PHPDocs as specific as possible.

Change-Id: Id189da4028b7874909277881dcf6539169dd13b6

2024-05-16 10:32:19 +02:00

Reedy

7619a76877

Namespace Echo Formatters

Change-Id: I5bf398cdb76a577543f6526ac1bee4a73897103d

2022-11-01 21:20:06 -06:00

2 commits