Revert "Disable wiki Badges plugin for now due to performance reasons"

This reverts commit 50ec59b9b8.
This commit is contained in:
Patrick Uiterwijk 2018-01-16 20:49:39 +00:00
parent ac01a47ba7
commit 5c7650801d

View file

@ -502,9 +502,7 @@ $wgDisableCounters = true;
$wgStyleVersion = '273';
# Fedora Badges Extension
# This needs optimizations before it can be re-enabled.
# Without those, edits on user pages take >1 minute, which is longer than the timeout.
//require_once( "$IP/extensions/FedoraBadges/FedoraBadges.php" );
require_once( "$IP/extensions/FedoraBadges/FedoraBadges.php" );
wfLoadExtension( 'WikiEditor' );
# Enables use of WikiEditor by default but still allows users to disable it in preferences