jump to group modal. This cuts page rendering speed in more than half for simple pages and similarly shrinks them by a factor 3-4, while keeping the user experience the same. Fallbacks are in place for non-JS clients. There's still some overhead in the menu generation compared to just rendering the page content, but the group menu was definitely a major culprit. - Legacy-Id: 9077 |
||
---|---|---|
.. | ||
agenda | ||
lib | ||
edit-milestones.js | ||
ietf.js | ||
ipr-edit.js | ||
ipr-search.js | ||
liaisons.js | ||
select2-field.js | ||
status-change-edit-relations.js |