Wikisłownik

MediaWiki:Gadget-edit-form-ui.js: Różnice pomiędzy wersjami

Przeglądaj historię interaktywnie
← poprzednia edycjanastępna edycja →
Usunięta treść Dodana treść
Linia 720:
? EConstants.SAMPLE_SUBSECTION_CONTENTS_POLISH
: EConstants.SAMPLE_SUBSECTION_CONTENTS_FOREIGN,
val = EUi.val( langid, subsection );
 
Linia 767 ⟶ 766:
},
addDefaultExampleNumremoveDefaultExampleNum: function ( langid ) {
var re = /^:(?: *\(\d+\.\d+\) *)?$/gm,
val = EUi.val( langid, 'przykłady' );
valif =( $re.trimtest( val.replace( re, '') ) );{
EUi.val( langid, 'przykłady', ': (1.1)' );▼
if ( val === '' ) {
▲ EUi.val( langid, 'przykłady', ': (1.1)' );
}
}
Źródło: „https://pl.wiktionary.org/wiki/MediaWiki:Gadget-edit-form-ui.js”