This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-CategoryTree
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-CategoryTree
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced
2024-11-15 20:09:58 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
054a4d6fbc
mediawiki-extensions-Catego...
/
install.settings
3 lines
64 B
Plaintext
Raw
Normal View
History
Unescape
Escape
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