wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-27 17:10:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/includes/Components
History
Umherirrender cb8fc5c8c1 Replace empty() with falsy check 
empty() should only be used to suppress errors
When the type of the variable is array,
a falsy check is the same (checks for null, false and empty array)
Found by a new phan plugin (T234237)

Change-Id: I84ced7c17157b322f858640362e1013e37773d43
2023-10-22 11:45:42 +02:00
..
VectorComponent.php
VectorComponentButton.php Use Codex for button styles, start transitioning icons to use Codex icon mixins 2023-06-12 16:26:28 -07:00
VectorComponentDropdown.php Remove references to heading in dropdown PHP 2023-06-26 12:49:00 -05:00
VectorComponentLanguageDropdown.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:23:07 +00:00
VectorComponentLink.php Rename IconLink to Link 2023-02-22 22:00:24 +00:00
VectorComponentMainMenu.php Hide language alert if there are none and JS is disabled 2023-06-16 17:30:34 +00:00
VectorComponentMainMenuAction.php Replace empty() with a string compare 2023-10-21 20:26:30 +02:00
VectorComponentMainMenuActionLanguageSwitchAlert.php Hide language alert if there are none and JS is disabled 2023-06-16 17:30:34 +00:00
VectorComponentMainMenuActionOptOut.php
VectorComponentMenu.php Remove references to heading in dropdown PHP 2023-06-26 12:49:00 -05:00
VectorComponentMenuListItem.php Rename IconLink to Link 2023-02-22 22:00:24 +00:00
VectorComponentPageTools.php Enable the pinning for anonymous users when page tools is enabled. 2023-03-13 23:49:59 +00:00
VectorComponentPinnableContainer.php Rename VectorComponentPinnedContainer to VectorComponentPinnableContainer to match template files 2022-12-15 22:46:46 +00:00
VectorComponentPinnableElement.php
VectorComponentPinnableHeader.php Removes old style rule 2023-03-10 14:31:44 -06:00
VectorComponentSearchBox.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 04:23:07 +00:00
VectorComponentStickyHeader.php Vector sticky header dynamic edit icons order 2023-10-12 18:54:47 +02:00
VectorComponentTableOfContents.php Replace empty() with falsy check 2023-10-22 11:45:42 +02:00
VectorComponentUserLinks.php SECURITY: Catch MalformedTitleException from vector-intro-page 2023-09-28 23:16:30 +01:00
VectorComponentVariants.php Separate dropdown/menu references in PHP and templates 2023-07-31 14:03:12 -05:00