Thread:Project:Support desk/User Preferences don't offer Gadgets/reply (7)

Maybe this is being caused by 29794?

Try to open "MediaWiki:Gadgets-definition" for editing and paste the following line in your browser's address bar: javascript:$('#wpTextbox1').val( $('#wpTextbox1').val.split(String.fromCharCode(8206)).join('') ); void 0; and then check if this makes any changes (like some of [//pt.wikibooks.org/w/index.php?title=MediaWiki:Gadgets-definition&diff=prev&oldid=233402 these]).