Bartosz Dziewoński 62c3d99a7f Use core behaviour regarding saving options for non-registered users ... mw.Api#saveOptions will skip the API call and return a 'notloggedin' error when the current user is not registered. To handle temporary users as well, just fall back to that behaviour instead of being explicit, and the right thing will also happen (probably it will return an error, although the behaviour may change). Bug: T332430 Change-Id: I4aafd6f74b74971c52b6222f8ec97a4963bb6a7b		2023-03-17 20:33:43 +01:00
..
ace	Update Ace to 1.15.2	2023-02-21 13:53:16 -06:00
images	Move images folder into modules folder	2021-03-12 20:09:55 +01:00
.eslintrc.json	eslint: Lint Gruntile.js using server rules	2022-02-07 16:22:02 +00:00
ace.less	De-emphasise line numbers	2021-01-13 17:07:02 +00:00
ext.codeEditor.js	build: Update eslint-config-wikimedia to 0.11.0	2019-03-13 22:38:54 +00:00
jquery.codeEditor.js	Use core behaviour regarding saving options for non-registered users	2023-03-17 20:33:43 +01:00
jquery.codeEditor.less	Update ace-build 1.2.9 -> 1.4.9 and recompile	2020-04-14 14:30:34 -07:00