wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-14 11:04:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/install.settings
Siebrand Mazeland 29813fc87a Whitespace fixes
2008-02-04 08:08:43 +00:00

2 lines
40 B
Plaintext
Raw Blame History

require_once( "{{path}}/Gadgets.php" );
Reference in a new issue View git blame Copy permalink