「MediaWiki:Gadget-wikEd.js」の版間の差分
削除された内容 追加された内容
Marine-Blue (トーク | 投稿記録) w:MediaWiki:Gadget-wikEd.js 2008年2月25日 (月) 14:55 の版より作成 |
M Bot: Security fix: protocol-relative URLs per https://meta.wikimedia.org/?oldid=3197161 (questions?). |
||
13 行
// version number, please also update [[User:Cacycle/wikEd_gadget_version]] when updating this page
var wikEdAutoUpdateUrl = '
// start of pasted code below this line:
20 行
// This is a bundled version of wikEd.js with diff.js and wikEdDiff.js for use as a Greasemonkey script
// Install by opening
// Please see
41 行
// ==UserScript==
// @name wikEd
// @namespace
// @description A full-featured in-browser editor for Wikipedia and other MediaWiki edit pages
// @include *
// @exclude
//
// @homepage
// @source
// @author Cacycle (
// @license Released into the public domain
// ==/UserScript==
55 行
1. PLEASE DO NOT COPY THE WHOLE PROGRAM (in order to get the frequent updates and bug fixes and to save disk space)
2. See
3. Copy the following short block of code to [[User:YOURUSERNAME/monobook.js]]
4. Click SHIFT-Reload to update to the newest version
64 行
// install [[User:Cacycle/wikEd]] in-browser text editor
document.write('<script type="text/javascript" src="'
+ '
+ '&action=raw&ctype=text/javascript"></script>');
74 行
https://addons.mozilla.org/en-US/firefox/addon/748
2. Install wikEd by opening this address:
3. Optional: customize the program by adding user settings to the Greasemonkey customization section below
(these settings will be overwritten by updates!)
92 行
window.WikEdInitGlobalConfigs = function() {
// user readable texts, copy changes to
window.wikEdText = window.wikEdText || [];
277 行
'wikEdLocalDiffImg alt': 'Changes below',
'wikEdLocalDiff title': 'Show current changes below',
'wikEdHelpPageLink': ' | <a href="
// preview and changes buttons, top
333 行
// path to images, also defined in wikEdDiff.js
window.wikEdImagePath = window.wikEdImagePath || '
// image filenames, also defined in wikEdDiff.js
862 行
// RegExTypoFix rules page, the address must have the exact same domain name as the used wiki
window.wikEdRegExTypoFixURL = window.wikEdRegExTypoFixURL || '
// enable RegExTypoFix button (
if (typeof(wikEdRegExTypoFix) == 'undefined') { window.wikEdRegExTypoFix = false; }
895 行
// auto update: version url (Ajax)
window.wikEdAutoUpdateUrl = window.wikEdAutoUpdateUrl || '
// auto update: script url for Greasemonkey update
window.wikEdAutoUpdateScriptUrl = window.wikEdAutoUpdateScriptUrl || '
// show complete unshortened article text for local diff, also defined in wikEdDiff.js
937 行
// diff script URL
window.wikEdDiffScriptSrc = window.wikEdDiffScriptSrc || '
// wikEdDiff script URL, also defined in wikEdDiff.js
window.wikEdDiffSrc = window.wikEdDiffSrc || '
// InstaView script URL
window.wikEdInstaViewSrc = window.wikEdInstaViewSrc || '
// wikEd-as-gadget detection, set to true if gadget script name is not MediaWiki:Gadget-wikEd.js
|