Manual:EditPage.php/de

Description
EditPage.php provides the user interface for editing pages.