Paladox has uploaded a new change for review.
https://gerrit.wikimedia.org/r/177841
Change subject: Fix size
......................................................................
Fix size
* This fixes the size of the script box. The problem started in MediaWiki 1.24
and this patch fixes the problem.
Change-Id: I240ee969fa7b4582644a9144052b55ff621e90cf
---
M i18n/en.json
A i18n/qqq.json
M includes/SpecialMaintenanceShell.php
3 files changed, 31 insertions(+), 20 deletions(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MaintenanceShell
refs/changes/41/177841/1
diff --git a/i18n/en.json b/i18n/en.json
index 7e287ee..1099bd6 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -1,20 +1,20 @@
{
- "@metadata": {
- "authors": [
- "Andrew Fitzgerald"
- ]
- },
- "maintenanceshell": "Maintenance Shell",
- "maintenanceshell-desc": "Wiki interface for maintenance scripts",
- "right-maintenanceshell": "Execute maintenance scripts",
- "action-maintenanceshell": "the maintenance shell",
- "maintenanceshell-legend": "Maintenance Shell",
- "maintenanceshell-text": "'''Warning:''' Use these scripts with care. They
are intended for developers only.\n*
[//www.mediawiki.org/wiki/Manual:Maintenance_scripts Manual:Maintenance
scripts]\n* [//www.mediawiki.org/wiki/Extension:MaintenanceShell
Extension:MaintenanceShell]\n",
- "maintenanceshell-return": "Return to [[{{#special:maintenanceshell}}]].",
- "maintenanceshell-error-scriptname": "Script not found",
- "maintenanceshell-error-rawsubmit": "For security reasons, this page
requires JavaScript to be enabled.",
- "maintenanceshell-available": "Available maintenance scripts:",
- "maintenanceshell-field-scriptname": "Script name:",
- "maintenanceshell-field-args": "Command line options:",
- "maintenanceshell-field-submit": "Run script"
-}
\ No newline at end of file
+ "@metadata": {
+ "authors": [
+ "Andrew Fitzgerald"
+ ]
+ },
+ "maintenanceshell": "Maintenance Shell",
+ "maintenanceshell-desc": "Wiki interface for maintenance scripts",
+ "right-maintenanceshell": "Execute maintenance scripts",
+ "action-maintenanceshell": "the maintenance shell",
+ "maintenanceshell-legend": "Maintenance Shell",
+ "maintenanceshell-text": "'''Warning:''' Use these scripts with care.
They are intended for developers only.\n*
[//www.mediawiki.org/wiki/Manual:Maintenance_scripts Manual:Maintenance
scripts]\n* [//www.mediawiki.org/wiki/Extension:MaintenanceShell
Extension:MaintenanceShell]\n",
+ "maintenanceshell-return": "Return to
[[{{#special:maintenanceshell}}]].",
+ "maintenanceshell-error-scriptname": "Script not found",
+ "maintenanceshell-error-rawsubmit": "For security reasons, this page
requires JavaScript to be enabled.",
+ "maintenanceshell-available": "Available maintenance scripts:",
+ "maintenanceshell-field-scriptname": "Script name:",
+ "maintenanceshell-field-args": "Command line options:",
+ "maintenanceshell-field-submit": "Run script"
+}
diff --git a/i18n/qqq.json b/i18n/qqq.json
new file mode 100644
index 0000000..07f4ce7
--- /dev/null
+++ b/i18n/qqq.json
@@ -0,0 +1,11 @@
+{
+ "@metadata": {
+ "authors": [
+ "paladox"
+ ]
+ },
+ "maintenanceshell": "Maintenance Shell is the name of the extension.",
+ "maintenanceshell-desc":
"{{desc|name=MaintenanceShell|url=http://www.mediawiki.org/wiki/Extension:MaintenanceShell}}";,
+ "right-maintenanceshell": "{{doc-right|maintenanceshell}}",
+ "maintenanceshell-field-submit": "Used as label for the Submit button"
+}
diff --git a/includes/SpecialMaintenanceShell.php
b/includes/SpecialMaintenanceShell.php
index 3e5e4ec..b9540f4 100644
--- a/includes/SpecialMaintenanceShell.php
+++ b/includes/SpecialMaintenanceShell.php
@@ -47,7 +47,7 @@
'type' => 'select',
'label-message' =>
'maintenanceshell-field-scriptname',
'tabindex' => '1',
- 'size' => '45',
+ 'size' => '0',
'required' => true,
'options' => $options,
'default' => '',
--
To view, visit https://gerrit.wikimedia.org/r/177841
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I240ee969fa7b4582644a9144052b55ff621e90cf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MaintenanceShell
Gerrit-Branch: master
Gerrit-Owner: Paladox <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
