diff options
Diffstat (limited to 'usr/local/www/themes/the_wall')
| -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 | ||||
| -rw-r--r-- | usr/local/www/themes/the_wall/menu.inc | 1 |
3 files changed, 0 insertions, 3 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 diff --git a/usr/local/www/themes/the_wall/menu.inc b/usr/local/www/themes/the_wall/menu.inc index ec9d389..a274410 100644 --- a/usr/local/www/themes/the_wall/menu.inc +++ b/usr/local/www/themes/the_wall/menu.inc @@ -1,6 +1,5 @@ <?php /* $Id$ */ -/* DISABLE_PHP_LINT_CHECKING */ /* ========================================================================== */ /* menu.inc |
