ci: lint code to MediaWiki standards

Check commit and GitHub actions for more details
This commit is contained in:
github-actions 2021-03-12 01:44:25 +00:00
parent b0f7acd6f0
commit 1a72f99dd5

View file

@ -198,7 +198,7 @@ final class Header extends Partial {
// The following defines the order of links added
$personalTools['userpage'] = $userPage;
if( isset( $userGroups ) ) {
if ( isset( $userGroups ) ) {
$personalTools['usergroups'] = $userGroups;
}
$personalTools['usercontris'] = $userContris;