webkit  2cdf99a9e3038c7e01b3c37e8ad903ecbe5eecf1
https://github.com/WebKit/webkit
Functions | Variables
platforms.php File Reference

Functions

 merge_platforms ($platform_to_merge, $destination_platform)
 

Variables

 if ( $db)
 

Function Documentation

◆ merge_platforms()

merge_platforms (   $platform_to_merge,
  $destination_platform 
)

Variable Documentation

◆ if

if($db)