wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-27 17:50:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Updated README files for former UsabilityInitiative extensions which now require MediaWiki 1.17

Browse source
This commit is contained in:
Trevor Parscal 2010-09-21 20:26:19 +00:00
parent aad64f9d82
commit 1486b80472
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
README
View file

@ -1,9 +1,8 @@
# Enhancements to the MediaWiki edit page
#
# This is a MediaWiki 1.17+ compatible version of the former UsabilityInitiative/WikiEditor extension. The key
# differences between these versions is in the usage of ResourceLoader.
#
# To get this working on your wiki
# WikiEditor provides enhancements to the MediaWiki edit page
# This extension requires MediaWiki 1.17+ because it makes use of ResourceLoader.
# Example LocalSettings.php additions
require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );