mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-12-04 19:58:18 +00:00
abe39c1a80
Since MediaWiki 1.25 wfLoadExtension is the preferred way to include extensions. This extension requires MediaWiki 1.27. Change-Id: Ia35287265d5e020c3a9c32ffdd3691bc9a2d502f
2 lines
30 B
Plaintext
2 lines
30 B
Plaintext
wfLoadExtension( 'Gadgets' );
|