Small PHP script to search definition