Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/resources/src/mediawiki.special.preferences.ooui/timezone.js
Ðазад
/*! * JavaScript for Special:Preferences: Timezone field enhancements. */ ( function () { mw.hook( 'htmlform.enhance' ).add( ( $root ) => { const $target = $root.find( '#wpTimeCorrection' ); if ( // This preference could theoretically be disabled ($wgHiddenPrefs) !$target.length || $target.closest( '.mw-htmlform-autoinfuse-lazy' ).length ) { return; } // This is identical to OO.ui.infuse( ... ), but it makes the class name of the result known. const timezoneWidget = mw.widgets.SelectWithInputWidget.static.infuse( $target ); const $localtimeHolder = $( '#wpLocalTime' ); const servertime = parseInt( $( 'input[name="wpServerTime"]' ).val(), 10 ); function minutesToHours( min ) { const tzHour = Math.floor( Math.abs( min ) / 60 ), tzMin = Math.abs( min ) % 60, tzString = ( ( min >= 0 ) ? '' : '-' ) + ( ( tzHour < 10 ) ? '0' : '' ) + tzHour + ':' + ( ( tzMin < 10 ) ? '0' : '' ) + tzMin; return tzString; } function hoursToMinutes( hour ) { const arr = hour.split( ':' ); arr[ 0 ] = parseInt( arr[ 0 ], 10 ); let minutes; if ( arr.length === 1 ) { // Specification is of the form [-]XX minutes = arr[ 0 ] * 60; } else { // Specification is of the form [-]XX:XX minutes = Math.abs( arr[ 0 ] ) * 60 + parseInt( arr[ 1 ], 10 ); if ( arr[ 0 ] < 0 ) { minutes *= -1; } } // Gracefully handle non-numbers. if ( isNaN( minutes ) ) { return 0; } else { return minutes; } } function updateTimezoneSelection() { const type = timezoneWidget.dropdowninput.getValue(); let minuteDiff; if ( type === 'other' ) { // User specified time zone manually in <input> // Grab data from the textbox, parse it. minuteDiff = hoursToMinutes( timezoneWidget.textinput.getValue() ); } else { // Time zone not manually specified by user if ( type === 'guess' ) { // Get the time offset minuteDiff = -( new Date().getTimezoneOffset() ); } else { // Grab data from the dropdown value minuteDiff = parseInt( type.split( '|' )[ 1 ], 10 ) || 0; } } // Determine local time from server time and minutes difference, for display. let localTime = servertime + minuteDiff; // Bring time within the [0,1440) range. localTime = ( ( localTime % 1440 ) + 1440 ) % 1440; $localtimeHolder.text( mw.language.convertNumber( minutesToHours( localTime ) ) ); } timezoneWidget.dropdowninput.on( 'change', updateTimezoneSelection ); timezoneWidget.textinput.on( 'change', updateTimezoneSelection ); updateTimezoneSelection(); } ); }() );
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка