Isarra has uploaded a new change for review. https://gerrit.wikimedia.org/r/282446
Change subject: Fix error when loading old-style due to no i18n.alias whatever ...................................................................... Fix error when loading old-style due to no i18n.alias whatever Change-Id: Id5f0d191835e302cc5a1a3803eff748b7bf829eb --- M Screenplay.php M resources/ext.screenplay.css 2 files changed, 2 insertions(+), 8 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Screenplay refs/changes/46/282446/1 diff --git a/Screenplay.php b/Screenplay.php index c87d4a7..9fe2652 100644 --- a/Screenplay.php +++ b/Screenplay.php @@ -3,7 +3,6 @@ wfLoadExtension( 'Screenplay' ); // Keep i18n globals so mergeMessageFileList.php doesn't break $wgMessagesDirs['Screenplay'] = __DIR__ . '/i18n'; - $wgExtensionMessagesFiles['ScreenplayAlias'] = __DIR__ . '/Screenplay.alias.php'; wfWarn( 'Deprecated PHP entry point used for Screenplay extension. Please use wfLoadExtension instead, ' . 'see https://www.mediawiki.org/wiki/Extension_registration for more details.' diff --git a/resources/ext.screenplay.css b/resources/ext.screenplay.css index 417d3eb..27e8723 100644 --- a/resources/ext.screenplay.css +++ b/resources/ext.screenplay.css @@ -30,11 +30,6 @@ * Double monospace to avoid some browser bugs which make the font render tiny */ font-family: monospace, monospace; - /* - * font-size: 1.12ex; would be correct, but let's not because it's much too small on the screen. - * Font is often too big, though this depends entirely on how the skin set the content font. - */ - font-size: 95%; /* Not part of the spec, but helps readability online */ line-height: 1.25; } @@ -60,12 +55,12 @@ .sp-line, .sp-slug { /* 1 blank line preceding */ - margin-top: 2ex; + margin-top: 2.5ex; } .sp-shot-heading { /* 2 blank lines preceding */ - margin-top: 4ex; + margin-top: 5ex; text-transform: uppercase; /* Not part of the spec, but helps readability online */ font-weight: bold; -- To view, visit https://gerrit.wikimedia.org/r/282446 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Id5f0d191835e302cc5a1a3803eff748b7bf829eb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Screenplay Gerrit-Branch: master Gerrit-Owner: Isarra <zhoris...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits