wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
2504 commits 147 branches 0 tags 125 MiB
Commit graph

5 commits

Author SHA1 Message Date
Bartosz Dziewoński 0024a94ba7 Store permalink data, implement Special:FindComment/GoToComment 
Depends-On: I90656cc74bb1cb1f2f3c82ad51cfb164cb8a4a4b
Bug: T296801
Change-Id: I84187b303aa10a242c872088403f808df3d1f940
 2022-08-11 01:19:47 +02:00
David Lynch d543e7a4f9 Defensive use of dynamic paths in maintenance script 
Bug: T242134
Change-Id: I64fc136d3d19268008062dc8a2c655c8551244ea
 2020-02-20 19:51:07 +01:00
Umherirrender fdd52762ee Call Maintenance::requireExtension 
This avoids that the script is executed without the extension is
installed.
This avoids than an error when class is missing

Change-Id: I064d2be5dbaa3b43c8134e19694511398decba88
 2020-01-13 22:15:43 +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
Bartosz Dziewoński db80e48933 Handle timestamps in daylight saving time 
Add the Moment Timezone library. Add a script for managing libraries,
like in MediaWiki core.

Depends-On: I9a59a6ad01850b30327e4215f2be61b8d1c41277
Change-Id: I64bc79e7d0ccdf42b006e5a225c8aa70ea5f4e15
 2019-10-22 16:33:21 +02:00