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:
authorMichal Čihař <mcihar@suse.cz>2013-07-30 16:33:36 +0400
committerMichal Čihař <mcihar@suse.cz>2013-07-30 16:36:43 +0400
commit82a6cc59bb6d702dbe0b9035bea52004d414e591 (patch)
tree69fca691639c1bb76f6adf2caaef5fc82810b7e3 /build.xml
parent5263a051692ce51fcdecdf7fe9a08c9232d3c5ab (diff)
Include setup script JS in jshint as well
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index dbea85090d..0bc0cf1a34 100644
--- a/build.xml
+++ b/build.xml
@@ -113,6 +113,7 @@
<fileset dir="${basedir}">
<include name="js/pmd/*.js" />
<include name="js/*.js" />
+ <include name="setup/*.js" />
</fileset>
</apply>
</target>