Added delete_library.php frontend/php.