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

Remove unused modules URL

Browse source 
Change-Id: I1e66866388ee862bc122faacebbd5f3883bd90f8
This commit is contained in:
Ed Sanders 2014-08-12 15:10:06 +01:00 committed by Catrope
parent 3b277a7a28
commit 7c923c2044
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/ve-mw/init/ve.init.mw.Platform.js
View file

@ -21,7 +21,6 @@ ve.init.mw.Platform = function VeInitMwPlatform() {
this.externalLinkUrlProtocolsRegExp = new RegExp(
'^(' + mw.config.get( 'wgUrlProtocols' ) + ')'
);
this.modulesUrl = mw.config.get( 'wgExtensionAssetsPath' ) + '/VisualEditor/modules';
this.parsedMessages = {};
this.linkCache = new ve.init.mw.LinkCache();
};
@ -37,11 +36,6 @@ ve.init.mw.Platform.prototype.getExternalLinkUrlProtocolsRegExp = function () {
return this.externalLinkUrlProtocolsRegExp;
};
/** @inheritdoc */
ve.init.mw.Platform.prototype.getModulesUrl = function () {
return this.modulesUrl;
};
/** @inheritdoc */
ve.init.mw.Platform.prototype.addMessages = function ( messages ) {
return mw.messages.set( messages );