Jon Atkins 9575e4b4c2 website
- fix loading version number from renamed internal assets
- remove various php notice/warnings from the webserver logs
2013-05-03 05:39:54 +01:00

36 lines
593 B
PHP

<?php
function loadUserScriptHeader($file)
{
$result = Array();
if ( is_string($file) )
$file = fopen ( $file, "rt" );
# else assume it's already a readable stream
while ( ( $line = fgets ( $file ) ) !== FALSE )
{
if ( preg_match ( '#//[ \\t]*==/UserScript==#', $line ) )
break;
$matches = Array();
if ( preg_match ( '#^//[ \\t]*(@[a-zA-Z0-9]+)[ \\t]+(.*)$#', $line, $matches ) )
{
$name = $matches[1];
$value = $matches[2];
if ( ! array_key_exists ( $name, $result ) )
{
$result[$name] = $value;
}
}
}
fclose ( $file );
return $result;
}
?>