This website requires JavaScript.
Explore
Help
Sign In
stuzer05
/
mediawiki-extensions-monaco-editor
Archived
Watch
1
Star
0
Fork
0
You've already forked mediawiki-extensions-monaco-editor
Code
Issues
Pull Requests
Releases
Activity
This repository has been archived on
2024-06-01
. You can view files and clone it, but cannot push or open issues or pull requests.
mediawiki-extensions-monaco...
/
assets
/
js
History
stuzer05
bd56f475a5
Disable monaco editor on mobile
2022-02-03 00:20:09 +02:00
..
scripts.js
Disable monaco editor on mobile
2022-02-03 00:20:09 +02:00