wp-cli/widget-command
2
0
Fork 0
mirror of https://hk.gh-proxy.com/https://github.com/wp-cli/profile-command.git synced 2025-08-18 06:11:20 +08:00
Code Issues Projects Packages Activity Actions

Add setter

Browse source
This commit is contained in:
Pascal Birchler 2024-05-24 10:50:11 +02:00
parent 4f41b336e0
commit 04c9da64ae
No known key found for this signature in database
GPG key ID: 0DECE73DD74E8B2F
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/Logger.php
View file

@ -40,6 +40,10 @@ class Logger {
return null; return null;
} }
public function __set( $key, $value ) {
$this->definitions[ $key ] = $value;
}
public function __isset( $key ) { public function __isset( $key ) {
return isset( $this->definitions[ $key ] ); return isset( $this->definitions[ $key ] );
} }