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

Use type-declarations in GadgetDefinitionContentArmor

Browse source 
Change-Id: Ifb3d45a85ff0c0f25e3f42aaeecc06a6b1b762a3
This commit is contained in:
Umherirrender 2024-12-08 21:27:46 +01:00
parent 871e06f6a2
commit d24cfb4ab5
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 {
/** @var string */
private $value;
private string $value;
public function __construct( $value ) {
public function __construct( string $value ) {
$this->value = $value;
}
public function __toString() {
public function __toString(): string {
return $this->value;
}
}