static class

[abuelopicaor]

hola a todos, soy nuevo en el mundo php y queria aclarar un tema con las clases static.

segun el manual y hasta ahora como lo estaba viendo:
si tenemos por ejemplo

class Foo
{
public static $my_static = 'foo';

public function staticValue() {
return self::$my_static;
}
}

class Bar extends Foo
{
public function fooStatic() {
return parent::$my_static;
}
}

para acceder a una variable o metodo static simplemente hacemos:
print Foo::$my_static . "\n";

sin embargo estoy viendo un codigo ya implementado donde tenemos:
archivo Tools.php en el se encuentra:
class ToolsCore{
Static function mifuncion()
}

pues bien, para empezar me extraña que en ningun momento haya un include a este archivo y luego se utilice de la forma
Tools::mifuncion()

como es esto posible?. 1º) no llama a la clase ToolsCore sino que parece llamar al "archivo" Tools
2º) no hay include a tools.php. en todo el escenario, lo he buscado y no existe en ningun momento.

estoy usando php 5.3 y esto es muy nuevo para mi. gracias por la ayuda