Pengguna:Riemogerz/media/script/wiked.user.js: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
←Membuat halaman berisi ' // <source lang="JavaScript"> if (typeof(wikEd) == 'undefined') { window.wikEd = {}; } // version info wikEd.programVersion = '0.9.102'; wikEd.programDate = 'Ja...' |
Maintenance: Remove use of deprecated wgEnableAPI (always true) - mw:RL/MGU |
||
Baris 1.860:
// parse global-context (MediaWiki) variables into hash (for Greasemonkey)
var globalNames = ['skin', 'wgServer', 'wgTitle', 'wgCanonicalNamespace', 'wgArticlePath', 'wgScript', 'wgScriptPath', 'wgUserName', 'wgCurRevisionId', 'wgContentLanguage', 'wgUserLanguage
if (wikEd.greasemonkey == true) {
globalNames.push('wikEdConfig', 'wikEdText');
Baris 3.218:
if (wikEd.fixRegExTypo != null) {
wikEd.fixRegExTypo.style.display = 'none';
}
Baris 8.948 ⟶ 8.940:
// check if api is enabled
if
return;
}
|