1# This is a list of files that were present in previous plugin releases 2# but were removed later. An up to date plugin should not have any of 3# the files installed 4 5syntax.php 6style.css 7syntax/old.php 8meta/ApproveConst.php 9meta/PageSearch.php 10meta/ApproveMetadata.php 11action/prettyprint.php 12