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

Merge "Remove dummy isSupported function, deprecated in REL1_31"

Browse source
This commit is contained in:
jenkins-bot 2018-04-18 10:32:20 +00:00 committed by Gerrit Code Review
parent ccbc3d29e8 436a0aa1fa
commit ac1db705fa
1 changed files with 0 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
modules/jquery.wikiEditor.js
View file

@ -60,20 +60,6 @@
*/ */
imgPath: mw.config.get( 'wgExtensionAssetsPath' ) + '/WikiEditor/modules/images/', imgPath: mw.config.get( 'wgExtensionAssetsPath' ) + '/WikiEditor/modules/images/',
/**
* Checks if the client supports WikiEditor.
*
* Since 1.31 this check is deprecated and can be skipped as all browsers
* which are served JS by MediaWiki support WikiEditor.
*
* @deprecated since 1.31
* @return {boolean}
*/
isSupported: function () {
mw.log.warn( '$.wikiEditor.isSupported is deprecated.' );
return true;
},
/** /**
* Checks if a module has a specific requirement * Checks if a module has a specific requirement
* *