wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 11:31:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use tabs for indenting Gadget definition pages

Browse source 
For consistency with rest of MediaWiki, especially CodeEditor.

Note that this will cause dirty diffs for any definition pages created
before this patch, but that's not a big deal.

Change-Id: I3ed4b4aa7d18c489b9a322f67ea6ea31e610a257
This commit is contained in:
Kunal Mehta 2016-02-16 10:59:04 -08:00 committed by Jdlrobson
parent 579d82f616
commit 1350d7e41b
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/content/GadgetDefinitionContent.php
View file

@ -40,7 +40,7 @@ class GadgetDefinitionContent extends JsonContent {
*/
public function beautifyJSON() {
// @todo we should normalize entries in module.scripts and module.styles
return FormatJson::encode( $this->getAssocArray(), true, FormatJson::UTF8_OK );
return FormatJson::encode( $this->getAssocArray(), "\t", FormatJson::UTF8_OK );
}
/**

2
includes/content/GadgetDefinitionContentHandler.php
View file

@ -39,7 +39,7 @@ class GadgetDefinitionContentHandler extends JsonContentHandler {
public function makeEmptyContent() {
$class = $this->getContentClass();
return new $class( FormatJson::encode( $this->getDefaultMetadata(), true ) );
return new $class( FormatJson::encode( $this->getDefaultMetadata(), "\t" ) );
}
public function getDefaultMetadata() {