wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-12 15:35:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
2181 commits 14 branches 25 tags 22 MiB
Commit graph

3 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
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
Renamed from includes/SpecialGadgetUsage.php (Browse further)