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

Add "requires": { "MediaWiki": ">= 1.28.0" }

Browse source 
At least the change fe7e2a790c requires
MediaWiki 1.28 or higher.

Change-Id: I6839feeb1ab742868c27e746536877acbb3a862c
This commit is contained in:
Fomafix 2017-12-01 12:10:30 +01:00
parent 7e9a5ffc3c
commit d89d7b7c16
2 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
README
View file

@ -1,10 +1,10 @@
# WikiEditor provides enhancements to the MediaWiki edit page
# This extension requires MediaWiki 1.17+ because it makes use of ResourceLoader.
# This extension requires MediaWiki 1.28 or higher.
# Example LocalSettings.php additions
require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
wfLoadExtension( 'WikiEditor' );
# Before configuring this extension, see WikiEditor.php and become familiar with the initial state and structure of the
# $wgWikiEditorFeatures configuration variable. Essentially it's an array of arrays, keyed by feature name, each
@ -14,7 +14,3 @@ require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
# To enable a preference by default but still allow users to disable it in preferences, use something like...
$wgDefaultUserOptions['usebetatoolbar'] = 1;
# Release 1.21 removes the $wgWikiEditorToolbarClickTracking config variable
# and with it support for tracking clicks on WikiEditor features via the
# ClickTracking extension.

3
extension.json
View file

@ -12,6 +12,9 @@
"descriptionmsg": "wikieditor-desc",
"license-name": "GPL-2.0+",
"type": "other",
"requires": {
"MediaWiki": ">= 1.28.0"
},
"MessagesDirs": {
"WikiEditor": [
"i18n"