MediaWiki:Edittools.js: Difference between revisions

Content deleted Content added

Inline

Revision as of 02:06, 8 December 2023 view source Renamed user 159304387 (talk \| contribs) 4,155 edits m Username moved page MediaWiki:Gadget-Edittools.js to MediaWiki:Edittools.js without leaving a redirect ← Older edit		Latest revision as of 02:06, 8 December 2023 view source Renamed user 159304387 (talk \| contribs) 4,155 edits mNo edit summary
Line 1:		Line 1:
	mw.loader.load('//~~www~~.~~mediawiki~~.org/w/index.php?action=raw&ctype=text/javascript~~&title=MediaWiki:Gadget-Edittools.js~~');		mw.loader.load('//commons.wikimedia.org/w/index.php?title=MediaWiki:Edittools.js&action=raw&ctype=text/javascript');

Anonymous