wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-01 03:26:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
827 commits 11 branches 4 tags 128 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader 6daa4d37c9 build: Updating mediawiki/mediawiki-phan-config to 0.10.3 
Additional changes:
* Dropped .php5 files from .phpcs.xml (T200956).

Change-Id: I9380c9cf278caf91529c38a35a316bffbaef9d5a
 2020-09-25 00:22:53 +00:00
Roan Kattouw 7b7a2cd69c The Great Parser JS to PHP port of 2020!* 
* Not to be confused with the Parsing Team's
"Great Parser JS to PHP port of 2019"

Gasp as OR hacks are changed to null coalescing operators.
Applaud as variable declarations are dropped.
Cheer as parameters and return values are type-hinted.
Shudder as DomNodeLists have no indexOf method.

Moving discussion parsing to the server should allow
us to implement much cleaner APIs for commenting.

Bug: T252252
Co-authored-by: Ed Sanders <esanders@wikimedia.org>
Change-Id: Ic1438d516e223db462cb227f6668e856672f538c
 2020-05-12 12:33:04 +01:00
Umherirrender 1c05fa9049 build: Add missing .phpcs.xml and make pass 
Add .phpcs.xml to run codesniffer against the extension.
The entry in composer.json is already there

Change-Id: If9de7e9b1b9439dc4d5fa2ba521883d13deaa739
 2020-01-13 20:48:11 +01:00