Sindbad~EG File Manager

<!--  This code demonstrates how to measure the toolbarwidth.
This is done in GetProblem.php and SymbolProc.php and 
must be done in any file that is going to lead to GraphDoc.php

<?php include 'toolbar.php'; 
	ob_start();
	include 'toolbar.php';
	$toolbarContent = ob_get_clean();
?> 
<div id="hiddenToolbar" class="hidden">
	<?php echo $toolbarContent; ?>
</div>
<style>
	.hidden {
				visibility: hidden;
				position: absolute;
				}
</style>
<script>
const hiddenToolbar = document.getElementById('hiddenToolbar'); 
const toolbarRect = hiddenToolbar.getBoundingClientRect(); 
console.log(toolbarRect);
toolbarwidth = toolbarRect.width
</script>
-->
</body>
</html>