Hi, the wikitext extension for VSCode has one nice feature that Mediawiker doesn't have (afaik): this gadget which adds "Open in VSCode" to every page on your wiki, when you import that gadget to your user js.
Would this be possible to add in Mediawiker? I am thinking:
check all open tabs and see if this page on this domain is open. if so, focus that
else check all settings profiles and see if this domain matches one of the wikis you have set up. if so, open this page logging into that account in your most-recent window.
else, open the page in logged-out mode in your most-recent window.
If there is more than 1 settings profile available for this particular wiki then imo pick the first one in the settings file reading from top to bottom.
Hi, the wikitext extension for VSCode has one nice feature that Mediawiker doesn't have (afaik): this gadget which adds "Open in VSCode" to every page on your wiki, when you import that gadget to your user js.
Would this be possible to add in Mediawiker? I am thinking:
If there is more than 1 settings profile available for this particular wiki then imo pick the first one in the settings file reading from top to bottom.