🏆 Cómo subir un archivo al servidor con php

El código PHP podría estar en otro archivo diferente que atacara el action del formulario, pero en este caso se llama al mismo documento. move_uploaded_file podría cambiarse por copy.

<?php
if(isset($_POST['boton'])) { 
 echo $HTTP_POST_FILES['archivo']['tmp_name'];
 if (is_uploaded_file($_FILES['archivo']['tmp_name'])) { 
 if (strpos($_FILES['archivo']['type'], "gif") || strpos($_FILES['archivo']['type'], "png") || strpos($_FILES['archivo']['type'],"jpg")) { 
 if ($_FILES['archivo']['size']<1000) {
 if(move_uploaded_file($_FILES['archivo']['tmp_name'], $_FILES['archivo']['name'])) 
 {
 echo "<label>Archivo subido con exito</label><br>";
 }
 else {
 echo "<label>No se ha podido subir</label><br>";
 }
 
 	 }
 else {
 echo "<label>Archivo demasiado grande</label><br>";
 }
 }
 else {
 echo "<label>El tipo de archivo no es correcto</label><br>";
 }
 }
 else {
 echo "<label>No se ha podido subir</label><br>"; 
 }
} 
?>
<form action="index.php" method="post" enctype="multipart/form-data"> 
 <p> 
 <input name="archivo" type="file" id="archivo"> 
 <input name="boton" type="submit" id="boton" value="Enviar">
 </p> 
</form>