gardener, Interface administrators, Administrators
3,893
edits
Changes
Jump to navigation
Jump to search
m
/* Javascript filter---------------------------------*/
no edit summary
/* Javascript filter for the manual 2020.05.26
-------------------------------------------------*/
// animate divs on start
var items = document.querySelectorAll('.filter-sections divul');
animate(items);
