User:David Condrey/edit-tools.js: Difference between revisions

Revision as of 06:55, 30 August 2014

Latest revision as of 07:14, 21 February 2021

(One intermediate revision by one other user not shown)

Line 1:

// <pre><nowiki>

if (typeof(SnippetManagerWrapper) == 'undefined') { window.SnippetManagerWrapper = {}; }

window.SnippetManagerWrapper = function() {

Line 774 ⟶ 776:

window.smWikiPreview = function(wiki_markup, func) {

var form = document.editform;

var addr = mw.config.get('wgServer') + mw.config.get('wgScript') + "?title=" + wgPageName +

"&action=submit&wpPreview=true&live=true";

var qwxmlhttp = sajax_init_object(null);