mediawiki-extensions-Echo

wikimedia/mediawiki-extensions-Echo

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-03 03:47:16 +00:00

Commit graph

Author	SHA1	Message	Date
Umherirrender	b166664efc	Fix parameter docs Change @param to @var Add \|null to nullable arguments Removed comment out code Change-Id: I535ad4d544284c1e0fb6f39c254761f0810b4cc7	2018-04-06 08:17:17 +00:00
Phantom42	254cf8360b	Fix multiple PHP class declarations in one file All files containing more than one PHP class were split into multiple files. extension.json was updated to match new class locations. Bug: T177809 Change-Id: I4e7d8f02164c3048c41c4c9fbe4be18a99e7abaa	2018-01-21 21:17:53 +00:00

Author

SHA1

Message

Date

Umherirrender

b166664efc

Fix parameter docs

Change @param to @var
Add |null to nullable arguments
Removed comment out code

Change-Id: I535ad4d544284c1e0fb6f39c254761f0810b4cc7

2018-04-06 08:17:17 +00:00

Phantom42

254cf8360b

Fix multiple PHP class declarations in one file

All files containing more than one PHP class were split into
multiple files.

extension.json was updated to match new class locations.

Bug: T177809
Change-Id: I4e7d8f02164c3048c41c4c9fbe4be18a99e7abaa

2018-01-21 21:17:53 +00:00

2 commits