wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-18 09:50:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use type-declarations in GadgetDefinitionContentArmor"

Browse source
This commit is contained in:
jenkins-bot 2024-12-09 09:26:42 +00:00 committed by Gerrit Code Review
parent aee2f81535 d24cfb4ab5
commit a4068c3df1
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
includes/Content/GadgetDefinitionContentArmor.php
View file

@ -22,14 +22,13 @@ namespace MediaWiki\Extension\Gadgets\Content;
class GadgetDefinitionContentArmor { class GadgetDefinitionContentArmor {
/** @var string */ private string $value;
private $value;
public function __construct( $value ) { public function __construct( string $value ) {
$this->value = $value; $this->value = $value;
} }
public function __toString() { public function __toString(): string {
return $this->value; return $this->value;
} }
} }