ソースを表示
MediaWiki:Gadget-edittop.js
のソース
移動:
案内
,
検索
以下に示された理由により、このページの編集を行うことができません:
この操作は、
ボット
、
管理者
のいずれかのグループに属する利用者のみが実行できます。
このページはソフトウェアのインターフェースに使用されるテキストが保存されており、いたずらなどの防止のために保護されています。
このページのソースを閲覧し、コピーすることができます:
// ********************************************************************** // ** ***WARNING GLOBAL GADGET FILE*** ** // ** changes to this file affect many users. ** // ** please discuss on the talk page before editing ** // ** ** // ********************************************************************** // Imported from [[User:Alex Smotrov/edittop.js]], version as of: 2007-06-19T04:28:52 // Updated from [[User:TheDJ/Gadget-edittop.js]], version as of: 2009-04-28T11:54:22 if ((wgAction == 'view' || wgAction == 'purge') && wgNamespaceNumber >=0) addOnloadHook(function edittop_hook(){ var localtitles = { cs: 'Editovat úvodní sekci', en: 'Edit lead section', fr: 'Modifier le résumé introductif', ko: '도입부를 편집', it: 'Modifica della sezione iniziale', ja: '導入部を編集' }; var our_content = document.getElementById('content') || document.getElementById('mw_content') || document.body; var editspans = getElementsByClassName( our_content, "span", "editsection"); var span1; for( es_count = 0; editspans && es_count < editspans.length; es_count++ ) { span1 = editspans[es_count]; if( span1.className.indexOf( "plainlinks" ) == -1 ) break; } if (!span1) return; var span0 = span1.cloneNode(true); var editwidth = span1.offsetWidth; if( skin != "vector" ) editwidth += 10; var topicons = getElementsByClassName( our_content, 'div', "topicon" ); for( el=0; topicons && el < topicons.length; el++ ) { topicons[el].style.marginRight = editwidth+"px"; } var mwfrtag = document.getElementById( "mw-fr-revisiontag" ); if( mwfrtag ) { mwfrtag.style.marginRight = editwidth+"px"; } our_content = document.getElementById('mw_header') || document.getElementById('content') || document.body; var parent = our_content.getElementsByTagName('H1')[0]; parent.insertBefore(span0, parent.firstChild); var a = span0.getElementsByTagName('A')[0]; if (a.href.indexOf('§ion=T') == -1){ a.title = a.title.replace(/(: |:).*$/,'$1'+'0') a.setAttribute('href', a.getAttribute('href',2).replace(/§ion=\d+/,'§ion=0')); }else{//transcluded a.title = localtitles['en'] a.setAttribute('href', wgScript+'?title='+encodeURIComponent(wgPageName)+'&action=edit§ion=0') } if (localtitles[wgUserLanguage]) a.title = localtitles[wgUserLanguage] })
MediaWiki:Gadget-edittop.js
に戻る。
個人用ツール
13.58.185.199
このIPアドレスのトーク
ログインまたはアカウント作成
名前空間
メッセージ
議論
変種
表示
閲覧
ソースを表示
履歴表示
操作
検索
案内
メインページ
最近の更新
広告について
凡例
サイト情報・連絡先
ブログ
Twitter(@cpro29)
ツールボックス
リンク元
関連ページの更新状況
特別ページ