| MediaWiki file: EditPage.php | |
|---|---|
| Location: | includes/ |
| Source code: | master • 1.40.0 • 1.39.4 • 1.35.11 |
| Classes: | EditPage |
Description
EditPage.php provides the user interface for editing pages.
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.