wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-19 18:30:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
2192 commits 15 branches 25 tags 23 MiB
Commit graph

4 commits

Author SHA1 Message Date
Siddharth VP 22752225a1 Make GadgetRepo a service 
Turn GadgetRepo into a service, deprecate GadgetRepo::singleton()

Change-Id: I0ab14ca936eec1eead91d4eb0970f898628c8388
 2023-12-05 17:38:41 -06:00
Siddharth VP adda8a6649 Show gadget definition validation warnings in Special:Gadgets 
Bug: T298334
Change-Id: Id241125b9b8abfb971dfa600ab0df9c6047f2b32
 2023-11-30 21:59:04 +00:00
Timo Tijhof d12bf68c25 docs: Make PHP file headers more consistent 
* A fixed license header for the file.

* Move class descriptions, doc tags, author/copyright to the
  class block. Remove MW-core specific "ingroup" tags such as
  "SpecialPage" which has no meaning in an extension and are not
  used by Doxygen.
  Ref https://gerrit.wikimedia.org/r/q/message:ingroup

Change-Id: I13d9b0ff7a3150180196c9fa58f8a321b14edd22
 2023-10-30 18:10:58 -04:00
Siddharth VP a7309d2b1f Namespace special page classes 
Change-Id: I005f6674c9cc80c5c9e26ae84acfbceebb43734e
 2023-10-30 21:13:41 +05:30