search

wikimedia-gadgets / types-mediawiki

TypeScript definitions for MediaWiki JS interface
GNU General Public License v3.0
23 stars 8 forks source link

Add wgUrlProtocols and two jquery.textSelection commands #30

Closed bhsd-harry closed 10 months ago

bhsd-harry commented 10 months ago

Refer to https://github.com/wikimedia/mediawiki/blob/41bb695a68c4f2d875ae1a54f00846a15a57923f/resources/src/jquery/jquery.textSelection.js#L42-L43