MediaWiki:Prefs-edit-boxsize/en

Size of the edit window.