Extension:Vector/SectionEditLinks

From mediawiki.org