Run ❯
Get your
own PHP
server
❯
Run Code
Ctrl+Alt+R
Change Orientation
Ctrl+Alt+O
Change Theme
Ctrl+Alt+D
Go to Spaces
Ctrl+Alt+P
<!DOCTYPE html> <html> <body> <?php // Cast float to int $x = 23465.768; $int_cast = (int)$x; echo $int_cast; echo "<br>"; // Cast string to int $x = "23465.768"; $int_cast = (int)$x; echo $int_cast; ?> </body> </html>
23465
23465
