User:Waldyrious/long-s-fixer.js

function long_s_fixer { var txt = document.editform.wpTextbox1;

txt.value = txt.value.replace(/ſ/g, ''); }

$(function {    if(document.forms.editform) {    	// https://www.mediawiki.org/wiki/ResourceLoader/Core_modules#addPortletLink        mw.util.addPortletLink('p-cactions', 'javascript:long_s_fixer', 'ſ → ', 'long-s-fixer', 'Fix long s (ſ)');    } });