Revision history of "Category:Dev-php5" View logs for this page There is no edit history for this page. This page has been deleted. The deletion and move log for the page are provided below for reference. 21:02, September 21, 2014 Pytony (Talk | contribs) deleted page Category:Dev-php5 (No pages linked to this. Is deprecated by the new Package: pages.) Retrieved from "http://www.funtoo.org/Category:Dev-php5"