Extension:PHPEditor

MediaWiki extensions manual

PHPEditor Release status: unmaintained
Author(s)	Mark A. Hershberger
Latest version	0.01
MediaWiki
License	GNU General Public License 3.0 or later
Download	GitHub: project page git repository URL [help ] commit history Note: No localisation updates are provided by translatewiki.net .
Hooks used CodeEditorGetPageLanguage ContentHandlerForModelID

The PHPEditor extension was used to demonstrate the git-mediawiki remote for git. It allows you to edit PHP code on a MediaWiki website.

This depends on the CodeEditor extension and extends it by providing the glue code so that CodeEditor will behave properly with pages titled .php.

Installation

• Download and place the file(s) in a directory called PHPEditor in your extensions/ folder.
• Add the following code at the bottom of your LocalSettings.php file:

  wfLoadExtension( 'PHPEditor' );
  

•  Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.