Merge "Add mediastatistics-header-3d"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 5 Jul 2017 20:07:47 +0000 (20:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 5 Jul 2017 20:07:48 +0000 (20:07 +0000)
includes/specials/SpecialMediaStatistics.php
includes/specials/SpecialNewimages.php
languages/i18n/en.json
languages/i18n/qqq.json

index 5192eb9..44e0db8 100644 (file)
@@ -307,6 +307,7 @@ class MediaStatisticsPage extends QueryPage {
                                // mediastatistics-header-video, mediastatistics-header-multimedia,
                                // mediastatistics-header-office, mediastatistics-header-text,
                                // mediastatistics-header-executable, mediastatistics-header-archive,
+                               // mediastatistics-header-3d,
                                $this->msg( 'mediastatistics-header-' . strtolower( $mediaType ) )->text()
                        )
                );
index 8528ce2..069dd0b 100644 (file)
@@ -105,6 +105,7 @@ class SpecialNewFiles extends IncludableSpecialPage {
                        // mediastatistics-header-video, mediastatistics-header-multimedia,
                        // mediastatistics-header-office, mediastatistics-header-text,
                        // mediastatistics-header-executable, mediastatistics-header-archive,
+                       // mediastatistics-header-3d,
                        return $this->msg( 'mediastatistics-header-' . strtolower( $type ) )->text();
                }, $this->mediaTypes );
                $mediaTypesOptions = array_combine( $mediaTypesText, $this->mediaTypes );
index 606203b..7d107d9 100644 (file)
        "mediastatistics-header-text": "Textual",
        "mediastatistics-header-executable": "Executables",
        "mediastatistics-header-archive": "Compressed formats",
+       "mediastatistics-header-3d": "3D",
        "mediastatistics-header-total": "All files",
        "json-warn-trailing-comma": "$1 trailing {{PLURAL:$1|comma was|commas were}} removed from JSON",
        "json-error-unknown": "There was a problem with the JSON. Error: $1",
index d4f5285..4d854d9 100644 (file)
        "mediastatistics-header-text": "Header on [[Special:MediaStatistics]] for file types that are in the text category. This includes simple text formats, including plain text formats, json, csv, and xml. Source code of compiled programming languages may be included here in the future, but isn't currently.",
        "mediastatistics-header-executable": "Header on [[Special:MediaStatistics]] for file types that are in the executable category. This includes things like source files for interpreted programming language (Shell scripts, javascript, etc).",
        "mediastatistics-header-archive": "Header on [[Special:MediaStatistics]] for file types that are in the archive category. Includes things like tar, zip, gzip etc.",
+       "mediastatistics-header-3d": "Header on [[Special:MediaStatistics]] for file types that are in the 3D category. Includes STL files.",
        "mediastatistics-header-total": "Header on [[Special:MediaStatistics]] for a summary of all file types.",
        "json-warn-trailing-comma": "A warning message notifying that JSON text was automatically corrected by removing erroneous commas.\n\nParameters:\n* $1 - number of commas that were removed\n{{Related|Json-error}}",
        "json-error-unknown": "User error message when there‚Äôs an unknown error.\n\nThis error is shown if we received an unexpected value from PHP. See http://php.net/manual/en/function.json-last-error.php\n\nParameters:\n* $1 - integer error code\n{{Related|Json-error}}",