Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauriciofauth@gmail.com>2018-02-24 22:58:58 +0300
committerMaurício Meneghini Fauth <mauriciofauth@gmail.com>2018-02-24 22:58:58 +0300
commitfcfa31a51f1e5f20b5296712a1ebfc97b54a34d5 (patch)
tree71e3a9ecb8b8061f1106965448fd87a79d63f19c /build.xml
parentf21bc9668dede32c02debdfcb3d8213771591e5c (diff)
Rename js/pmd directory to js/designer
Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com>
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/build.xml b/build.xml
index 0227403786..d2048d9769 100644
--- a/build.xml
+++ b/build.xml
@@ -118,7 +118,7 @@
<apply executable="jshint" output="${basedir}/build/logs/jshint-jslint.xml" parallel="true">
<arg line="--config ./.jshintrc --reporter=jslint" />
<fileset dir="${basedir}">
- <include name="js/pmd/*.js" />
+ <include name="js/designer/*.js" />
<include name="js/*.js" />
<include name="setup/*.js" />
</fileset>
@@ -129,7 +129,7 @@
<apply executable="jshint" output="${basedir}/build/logs/jshint-checkstyle.xml" parallel="true">
<arg line="--config ./.jshintrc --reporter=checkstyle" />
<fileset dir="${basedir}">
- <include name="js/pmd/*.js" />
+ <include name="js/designer/*.js" />
<include name="js/*.js" />
<include name="setup/*.js" />
</fileset>