/*!
* JavaScript for Special:Preferences: editfont field enhancements.
*/
-( function ( mw ) {
+( function () {
mw.hook( 'htmlform.enhance' ).add( function ( $root ) {
var widget, lastValue,
$target = $root.find( '#mw-input-wpeditfont' );
updateLabel( widget.getValue() );
} );
-}( mediaWiki ) );
+}() );