Updated mediawiki/extensions
Project: mediawiki/extensions/Echo  dc262455241eb23542ffa80bed9ab06111a2ee50

More consistency with "Email options" preferences subsection

Cf. "Display options" in the line below and, in core,
I35608d99eff9a95a14bc12ace8de9a8e1dd808a1

Change-Id: I6ba88fa9ee3e22c865b54fcd74d4341a4c3d509e