<?php $types = ['auto', 'int', 'float', 'string', 'html', 'list', 'pattern']; echo '('.implode('|', $types).')';
You have javascript disabled. You will not be able to edit any code.