extensión

Extensión de archivo con JavaScript

En este corto post de programación con JS vas a aprender a obtener la extensión de un archivo a partir…

7 meses hace

PHP: habilitar extensión mbstring y dom

Hoy estaba instalando mi sistema de turnos en un VPS con Ubuntu y había algunos errores con las extensiones y…

2 años hace

Programar en Java con Visual Studio Code

En este post te enseñaré cómo configurar Visual Studio Code o VSCode para programar en Java y tener autocompletado de…

3 años hace

Integrar Vim en tu editor favorito

Vim no es un editor que solo se ejecuta en la terminal. Es un editor muy poderoso, pero no necesariamente…

3 años hace

Especificar extensión de archivo en input file de HTML

En este post de HTML 5 te mostraré cómo aceptar determinada extensión de archivo en un input de tipo file…

3 años hace

Verificar si librería GD está instalada (PHP)

En este corto tutorial vamos a ver cómo comprobar si la librería GD para PHP está instalada en nuestro servidor.…

4 años hace

Ubicación del directorio de extensiones en PHP

Algunas extensiones para PHP (que no vienen por defecto) que descargamos de terceros deben colocarse en el directorio de extensiones…

5 años hace

Extraer extensión de archivo en PHP

Introducción PHP provee una manera fácil y rápida de obtener la extensión de un archivo. No necesitamos estar buscando el…

5 años hace

Esta web usa cookies.