wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-18 02:51:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
3682 commits 13 branches 4 tags 131 MiB
Commit graph

4 commits

Author SHA1 Message Date
Umherirrender 64bcb583e9 Use namespaced classes 
Done automatically via script
Change to extension.json done manually

Change-Id: Ied7bbddd357290ac6be6bf480be0ee9116e77365
 2023-12-11 16:38:02 +01:00
Ed Sanders c82783a5b6 Find a heading by title in archives 
* Looks for heading IDs matching "h-<heading text>-%" that once
  existed on the target page.
* For such IDs, finds where those items currently exist,
  presumably in an archive.

Pros:
* Doesn't need to know anything about the local wiki's archiving
  conventions, so can be deployed universally.

Cons:
* ID conflicts will return matches in unrelated archives, e.g.
  MassMessages.

Bug: T349653
Change-Id: Ie94efd0503e9f4689d3421babe445f9f4e2b4fb7
 2023-12-06 18:39:28 +00:00
gerritbot dfb413ed81 Replace some moved Title class uses, now MediaWiki\Title\Title 
Bug: T321681
Change-Id: I688fe73f46ecc2bbd8f4c59fc42b8e85fadf7689
 2023-08-19 04:14:36 +00:00
Ed Sanders 0be67d3f20 Add an API version of Special:FindComment 
Bug: T333375
Change-Id: I02f032b0a36d384b9ac9e397106eb30d325421d8
 2023-04-26 17:09:15 +01:00