Fixed PHP warnings

Author: sadko4u

src/doc/inc/menu.php

@@ -68,13 +68,13 @@ function output_menu(&$menu = null)
 		{
 			if (isset($item['items']))
 			{
-				print("<li>${item['text']}</li>\n");
+				print("<li>{$item['text']}</li>\n");
 				output_menu($item['items']);
 			}
 			else
 			{
 				$path = (strlen($item['path']) > 0) ? $item['path'] . '/' : '';
-				print("<li><a href=\"html/${path}${item['id']}.html\">${item['text']}</a></li>\n");
+				print("<li><a href=\"html/{$path}{$item['id']}.html\">{$item['text']}</a></li>\n");
 			}
 		}
 		print "</ul>\n";

src/doc/inc/plugins.php

@@ -41,7 +41,7 @@ function plugin_header()
 			$full_name = htmlspecialchars("{$PACKAGE['short']} {$plugin['description']} ({$plugin['acronym']})");
 			$author = htmlspecialchars($plugin['author']);
 
-			echo "<img class=\"plugin\" src=\"${DOCROOT}img/plugins/{$plugin['id']}.png\" alt=\"{$plugin['name']}\">\n";
+			echo "<img class=\"plugin\" src=\"{$DOCROOT}img/plugins/{$plugin['id']}.png\" alt=\"{$plugin['name']}\">\n";
 			echo "<p><b>Detailed:&nbsp;</b>{$full_name}</p>\n";
 			echo "<p><b>Formats:&nbsp;</b>" . implode(',&nbsp;', $fmt) . "</p>\n";
 			echo "<p><b>Categories:&nbsp;</b>" . implode(',&nbsp;', $plugin['groups']) . "</p>\n";
@@ -54,7 +54,7 @@ function plugin_header()
 	function out_image($id, $alt)
 	{
 		global $DOCROOT;
-		echo "<img src=\"${DOCROOT}/img/{$id}.png\" alt=\"{$alt}\">\n";
+		echo "<img src=\"{$DOCROOT}/img/{$id}.png\" alt=\"{$alt}\">\n";
 	}
 
 	function plugin_ref($id)
@@ -65,7 +65,7 @@ function plugin_ref($id)
 			return;
 
 		$header = htmlspecialchars("{$PACKAGE['short']} {$page['text']}");
-		print("<b><a href=\"${DOCROOT}html/plugins/${page['id']}.html\">{$header}</a></b>");
+		print("<b><a href=\"{$DOCROOT}html/plugins/${page['id']}.html\">{$header}</a></b>");
 	}
 
 ?>

src/doc/index.php

@@ -61,7 +61,7 @@
 				<?php
 				    if ($MENUITEM['parent'] != 'plugins')
 				        echo '<h1>' . htmlspecialchars($HEADER) . '</h1>';
-				    require("./manuals/${MENUITEM['path']}/${FILENAME}.php");
+				    require("./manuals/{$MENUITEM['path']}/{$FILENAME}.php");
 				?>
 			</div>