MediaWiki:Gadget-ReferenceTooltips.js: Difference between revisions
Jump to navigation
Jump to search
MediaWiki:Gadget-ReferenceTooltips.js (view source)
Revision as of 07:36, 1 November 2018
, 5 years ago1 revision imported: Wikipedia ReferenceTooltips
(Update from User:Yair rand/ReferenceTooltips.js , requested at Special:PermaLink/859922240#TypeError:_settings_is_undefined_-_when_trying_to_disable by User:Yair_rand) |
m (1 revision imported: Wikipedia ReferenceTooltips) |
(No difference)
| |