Index: wp-admin/export.php
===================================================================
--- wp-admin/export.php	(revision 25351)
+++ wp-admin/export.php	(working copy)
@@ -94,6 +94,12 @@
 		$args['content'] = $_GET['content'];
 	}
 
+	/**
+	 * The export args.
+	 *
+	 * @since 3.5.0
+	 *
+	 * @param array $args The arguments to send to the exporter.
+	 */
 	$args = apply_filters( 'export_args', $args );
 
 	export_wp( $args );
@@ -209,12 +215,17 @@
 
 <?php foreach ( get_post_types( array( '_builtin' => false, 'can_export' => true ), 'objects' ) as $post_type ) : ?>
 <p><label><input type="radio" name="content" value="<?php echo esc_attr( $post_type->name ); ?>" /> <?php echo esc_html( $post_type->label ); ?></label></p>
-<?php endforeach; ?>
+<?php endforeach;
 
-<?php do_action( 'export_filters' ) ?>
+/**
+ * Fires after the export filters form.
+ *
+ * @since 3.5.0
+ */
+do_action( 'export_filters' ) ?>
 
 <?php submit_button( __('Download Export File') ); ?>
 </form>
 </div>
 
-<?php include('admin-footer.php'); ?>
+<?php include('admin-footer.php'); ?>
\ No newline at end of file