add zend shortcut

This should be here for completeness. And so @jdelong can easily fix them :)
Esse commit está contido em:
Paul Tarjan
2013-04-19 15:24:54 -07:00
commit de Sara Golemon
commit 5decac3716
+4 -2
Ver Arquivo
@@ -130,8 +130,10 @@ function map_convenience_filename(string $file) {
}
$mappage = Map {
'quick' => 'hphp/test/quick',
'slow' => 'hphp/test/slow',
'quick' => 'hphp/test/quick',
'slow' => 'hphp/test/slow',
'zend' => 'hphp/test/zend/good',
'zend_bad' => 'hphp/test/zend/bad',
};
$m = null;