From d43a52af91ebcc6bf5ef4d2197518a81008386c8 Mon Sep 17 00:00:00 2001
From: Matthias Konitzny <konitzny@ibr.cs.tu-bs.de>
Date: Fri, 25 Mar 2022 10:54:01 +0100
Subject: [PATCH] Improved PHP file handling
---
gulpfile.js | 15 +++++++++++++--
1 file changed, 13 insertions(+), 2 deletions(-)
diff --git a/gulpfile.js b/gulpfile.js
index 6f21562..d8d3af7 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -6,6 +6,7 @@ const replace = require("gulp-replace");
const zip = require("gulp-zip");
const del = require("del");
const fs = require("fs");
+const path = require("path");
const dir = {
src: ".",
@@ -14,7 +15,12 @@ const dir = {
// PHP settings
const php = {
- src: [dir.src + "/**/*.php", "!node_modules/**", "!release/**"],
+ src: [
+ dir.src + "/**/*.php",
+ "!node_modules/**",
+ "!release/**",
+ "!build/**",
+ ],
build: dir.build,
};
@@ -38,7 +44,12 @@ function copyPHP() {
)
)
.pipe(replace("Version: 1.0", `Version: ${version}`))
- .pipe(gulp.dest(php.build));
+ .pipe(
+ gulp.dest(function (file) {
+ file.path = path.basename(file.path);
+ return php.build;
+ })
+ );
}
function copyWebpackContent() {
--
GitLab