mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-24 00:06:49 +00:00
Made use of mediaWiki.loader for adding in mediawiki.legacy.diff for the change tab of jquery.wikiEditor.preview
This commit is contained in:
parent
49eb154f2c
commit
da918a5d68
|
@ -117,13 +117,7 @@ fn: {
|
|||
|
||||
$.post( mediaWiki.config.get( 'wgScriptPath' ) + '/api.php', postdata2, function( data ) {
|
||||
// Add diff CSS
|
||||
if ( $( 'link[href=' + stylepath + '/common/diff.css]' ).size() == 0 ) {
|
||||
$( 'head' ).append( $( '<link />' ).attr( {
|
||||
'rel': 'stylesheet',
|
||||
'type': 'text/css',
|
||||
'href': stylepath + '/common/diff.css'
|
||||
} ) );
|
||||
}
|
||||
mediaWiki.loader.load( 'mediawiki.legacy.diff' );
|
||||
try {
|
||||
var diff = data.query.pages[data.query.pageids[0]]
|
||||
.revisions[0].diff['*'];
|
||||
|
|
Loading…
Reference in a new issue