restore example/example_codecs.php, which is mis-committed in previous commit