« MédiaWiki:Common.js » : différence entre les versions

@@ Ligne 1 : / Ligne 1 : @@
-document.onkeydown = function( e ) {
-	if( e == null ) e = event
-	if( testKey( e, 122 ) ) { //F12
-		appendCSS('#column-content {margin: 0 0 .6em 0;} #content {margin: 2.8em 0 0 0;} #p-logo, .generated-sidebar, #p-lang, #p-tb, #p-search {display:none;} #p-cactions {left: .1em;} #footer {display:none;}');
-		return false;
-	}
-}
-function testKey( e, intKeyCode ) {
-	if( window.createPopup )
-		return e.keyCode == intKeyCode
-	else
-		return e.which == intKeyCode
-}

Version du 3 février 2023 à 11:47