Define the following gadget via your local MediaWiki:Gadgets-definition page,
and copy the two source files to MediaWiki:Gadget-rtrc.css and
MediaWiki:Gadget-rtrc.js. Commit changes back to Git when done.
rtrc[ResourceLoader]|rtrc.css|rtrc.js
Alternatively, run php -S localhost:9296 in this directory and
place the following in your wiki's MediaWiki:Common.js or
Special:Mypage/common.js. This way you can load it directly from
the working directory.
mw.loader.load('http://localhost:9296/src/rtrc.js');
mw.loader.load('http://localhost:9296/src/rtrc.css', 'text/css');Publish source files to: