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

3 commits

Author SHA1 Message Date
Umherirrender d24cfb4ab5 Use type-declarations in GadgetDefinitionContentArmor 
Change-Id: Ifb3d45a85ff0c0f25e3f42aaeecc06a6b1b762a3
 2024-12-08 21:27:46 +01: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
Reedy 01f6a6c34e Namespace extension 
Bug: T278278
Change-Id: I49b57e68079c998419e235b1727eea8c121c234b
 2022-03-05 17:03:35 +00:00
Renamed from includes/content/GadgetDefinitionContentArmor.php (Browse further)