wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-15 12:00:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../install.settings

3 lines
64 B
Plaintext
Raw Normal View History

adding settings patch file for experimental installer to CategoryTree
2006-07-30 21:09:52 +00:00
$wgUseAjax = true;
Whitespace fixes
2008-02-04 09:22:12 +00:00
require_once( "{{path}}/CategoryTree.php" );
Reference in a new issue Copy permalink