diff options
Diffstat (limited to 'usr/local/www/themes/the_wall/javascript')
-rw-r--r-- | usr/local/www/themes/the_wall/javascript/transmenu-body.php | 1 | ||||
-rw-r--r-- | usr/local/www/themes/the_wall/javascript/transmenu-head.php | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/usr/local/www/themes/the_wall/javascript/transmenu-body.php b/usr/local/www/themes/the_wall/javascript/transmenu-body.php index ada3d0c..7716d8d 100644 --- a/usr/local/www/themes/the_wall/javascript/transmenu-body.php +++ b/usr/local/www/themes/the_wall/javascript/transmenu-body.php @@ -1,6 +1,5 @@ <?php /* $Id$ */ -/* DISABLE_PHP_LINT_CHECKING */ /* ========================================================================== */ /* transmenu.php diff --git a/usr/local/www/themes/the_wall/javascript/transmenu-head.php b/usr/local/www/themes/the_wall/javascript/transmenu-head.php index 6eea15d..bd1ead6 100644 --- a/usr/local/www/themes/the_wall/javascript/transmenu-head.php +++ b/usr/local/www/themes/the_wall/javascript/transmenu-head.php @@ -1,6 +1,5 @@ <?php /* $Id$ */ -/* DISABLE_PHP_LINT_CHECKING */ /* ========================================================================== */ /* transmenu.php |