Translations:Reading/Web/Desktop Improvements/Features/Page tools/112/en

The Page Tools menu is rendered server-side, which maintains the expected JS execution order (i.e. the expected HTML menu exists when the gadget JS executes).