diff options
| author | Fomafix <fomafix@googlemail.com> | 2017-01-16 16:42:53 +0100 |
|---|---|---|
| committer | Fomafix <fomafix@googlemail.com> | 2019-06-17 21:15:09 +0200 |
| commit | 110a5877e9e6ebe7a6ecd758f5812f32fc4ef57e (patch) | |
| tree | 941ec016a7ac67b2ca5025db686772f1031abd71 /includes/Html.php | |
| parent | 874cf5f355f11148a99846a5cf7feee52d99cdb4 (diff) | |
| download | mediawikicore-110a5877e9e6ebe7a6ecd758f5812f32fc4ef57e.tar.gz mediawikicore-110a5877e9e6ebe7a6ecd758f5812f32fc4ef57e.zip | |
Use [...] instead of array(...) in PHP comments and documentation
Change-Id: I0c83783051bf35fe785bc01644eeb2946902b6b2
Diffstat (limited to 'includes/Html.php')
| -rw-r--r-- | includes/Html.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Html.php b/includes/Html.php index aa51243d75eb..fdc348b852f1 100644 --- a/includes/Html.php +++ b/includes/Html.php @@ -518,7 +518,7 @@ class Html { $newValue = []; foreach ( $value as $k => $v ) { if ( is_string( $v ) ) { - // String values should be normal `array( 'foo' )` + // String values should be normal `[ 'foo' ]` // Just append them if ( !isset( $value[$v] ) ) { // As a special case don't set 'foo' if a |