wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-13 18:07:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/modules
History
Kunal Mehta 835631de27 Restore padding on #mw-scribunto-input to make cursor visible 
In Chromium-based browsers the lack of padding means the cursor
isn't visible in the textarea when focused. In this case, it's
probably more important for the cursor to be visible than the
lack of padding to make it look more like a terminal.

Bug: T272678
Change-Id: I09ed2933bdac292ee9b9b98a2c8c48d96914d096
2022-10-08 21:35:30 +00:00
..
ext.scribunto.edit.css Restore padding on #mw-scribunto-input to make cursor visible 2022-10-08 21:35:30 +00:00
ext.scribunto.edit.js Require CSRF token for action=scribunto-console 2022-10-05 14:38:50 +00:00
ext.scribunto.errors.css Use OOUI instead of jquery.ui for error popup 2022-10-08 20:33:27 +00:00
ext.scribunto.errors.js Use OOUI instead of jquery.ui for error popup 2022-10-08 20:33:27 +00:00
ext.scribunto.logs.css Rewrite error handling to avoid OutputPage::addInlineScript 2015-03-16 16:08:44 -04:00