Extensions; plugins are nearly dead nowadays anyway