wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 11:16:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
4940 commits 163 branches 0 tags 73 MiB
Commit graph

3 commits

Author SHA1 Message Date
Max Semenik f8ef0cc7f5 Get rid of special casing for user blacklist 
Makes so many things simpler and robust.

Bug: T198935
Change-Id: Ia836f8f497cae8599f85cf86a7f6b299cd012e81
Depends-On: Iff63da0d215585cfcf083e7f7ec8ed45d5b77301
 2018-07-09 15:50:38 -07:00
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