Category:Edit box extensions/fr