mediawiki-extensions-Echo

7253 commits 14 branches 19 tags 78 MiB

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
Umherirrender	a0ca1d89c6	Use namespaced classes Changes to the use statements done automatically via script Addition of missing use statements done manually Change-Id: Iad87245bf8082193be72f7e482f29e9f1bad11fc	2023-12-11 16:39:00 +01: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

Umherirrender

a0ca1d89c6

Use namespaced classes

Changes to the use statements done automatically via script
Addition of missing use statements done manually

Change-Id: Iad87245bf8082193be72f7e482f29e9f1bad11fc

2023-12-11 16:39:00 +01:00

Reedy

7619a76877

Namespace Echo Formatters

Change-Id: I5bf398cdb76a577543f6526ac1bee4a73897103d

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

Renamed from includes/formatters/EchoHtmlDigestEmailFormatter.php (Browse further)

3 commits