mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-26 19:56:49 +00:00
Merge changes I949eebf8,Iba69ee62
* changes: Use mediawiki.org as the default source in production Revert "Added localhost to available sources and made it default"
This commit is contained in:
commit
8d977b236d
|
@ -9,9 +9,10 @@
|
|||
*/
|
||||
|
||||
// default to en.wikipedia.org
|
||||
var defaultInterwiki = 'en';
|
||||
//var defaultInterwiki = 'en';
|
||||
// alternative: default to www.mediawiki.org
|
||||
//var defaultInterwiki = 'mw';
|
||||
// Use this in production for now
|
||||
var defaultInterwiki = 'mw';
|
||||
// for development: default to localhost
|
||||
//var defaultInterwiki = 'localhost';
|
||||
|
||||
|
@ -50,10 +51,6 @@ env.addInterwiki( 'mw', 'http://www.mediawiki.org/w' );
|
|||
// For development:
|
||||
//env.addInterwiki( 'localhost', 'http://localhost/w' );
|
||||
|
||||
// add localhost and make it the default
|
||||
env.addInterwiki( 'localhost', 'http://localhost/mediawiki' );
|
||||
defaultInterwiki = 'localhost';
|
||||
|
||||
var parserPipelineFactory = new ParserPipelineFactory( env );
|
||||
//var parser = parserPipelineFactory.makePipeline( 'text/x-mediawiki/full' );
|
||||
|
||||
|
|
Loading…
Reference in a new issue