MediaWiki:Prefs-edit-boxsize

Size of the edit window.