How to properly replace file extension in Gulp picker?

Question

Building projects

Such a task: when building, I need the files to change their extension from .html to .php
How to do this correctly?

Answer 1

gulp-rename

var rename = require("gulp-rename");

gulp.src("./*.html")
  .pipe(rename(function (path) {
    path.extname = ".php"
  }))
  .pipe(gulp.dest("./dist"));