jenkins-bot has submitted this change and it was merged.
Change subject: Special:ManageTranslatorSandbox: hide page title
......................................................................
Special:ManageTranslatorSandbox: hide page title
Change-Id: I7d086534e8c3c88e8e05df963dc7f22555bc70f6
---
M resources/css/ext.translate.special.managetranslatorsandbox.css
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/css/ext.translate.special.managetranslatorsandbox.css
b/resources/css/ext.translate.special.managetranslatorsandbox.css
index be71124..3e38b70 100644
--- a/resources/css/ext.translate.special.managetranslatorsandbox.css
+++ b/resources/css/ext.translate.special.managetranslatorsandbox.css
@@ -6,6 +6,11 @@
* @license GPL-2.0+
*/
+/* Hide the page title to give more space for the content */
+#firstHeading {
+ display: none;
+}
+
/* Panes */
.filter.pane,
.search.pane {
--
To view, visit https://gerrit.wikimedia.org/r/102735
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7d086534e8c3c88e8e05df963dc7f22555bc70f6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
